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

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

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

本文編號：1175002