本文關鍵詞：基于并發(fā)程序數(shù)據(jù)競爭故障的變異策略

  更多相關文章： 并發(fā)程序變異測試 數(shù)據(jù)競爭故障 鎖對象 共享變量 同步關系對

【摘要】：針對并發(fā)程序變異測試中并發(fā)變異算子觸發(fā)數(shù)據(jù)競爭故障能力較低的問題,提出了基于數(shù)據(jù)競爭故障的變異策略。從并發(fā)變異算子設計的角度給出了面向鎖對象的變異策略(LMS)和面向共享變量的變異策略(SMS),設計了重置同步鎖(SLRO)和移出共享變量操作(MSVO)兩個并發(fā)變異算子。從變異點選取的角度給出了一種同步關系對變異點選取策略(SMPSS)。在12個Java類庫并發(fā)程序上,應用SLRO和MSVO算子針對SMPSS選取出的變異點植入故障,生成變異體,并使用JPF檢測工具,檢測生成的變異體引發(fā)數(shù)據(jù)競爭故障的能力。實驗結果表明,新設計的SLRO和MSVO變異算子對12個被測程序分別生成了121和122個有效變異體,變異算子的有效性分別為95.28%和99.19%。由此可知,新設計的并發(fā)變異算子能有效觸發(fā)數(shù)據(jù)競爭故障。
【作者單位】： 北京化工大學計算機系;
【基金】：國家自然科學基金資助項目(61472025,61170082) 教育部新世紀優(yōu)秀人才支持計劃項目(NCET-12-0757)~~
【分類號】：TP311.53
【正文快照】： 0引言隨著多線程并發(fā)程序的廣泛應用,并發(fā)程序的測試變得越來越重要。變異測試[1-2]作為一種基于故障植入的測試方法,通過對被測程序的符號或語句進行簡單修改以植入故障,以此來評估測試用例檢測這些植入故障的能力。并發(fā)變異測試是將變異測試應用到多線程并發(fā)程序中,通過并發(fā)，

本文編號：1175002