發(fā)布時(shí)間：2017-11-12 08:00

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

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

【摘要】：針對(duì)并發(fā)程序變異測(cè)試中并發(fā)變異算子觸發(fā)數(shù)據(jù)競爭故障能力較低的問題,提出了基于數(shù)據(jù)競爭故障的變異策略。從并發(fā)變異算子設(shè)計(jì)的角度給出了面向鎖對(duì)象的變異策略(LMS)和面向共享變量的變異策略(SMS),設(shè)計(jì)了重置同步鎖(SLRO)和移出共享變量操作(MSVO)兩個(gè)并發(fā)變異算子。從變異點(diǎn)選取的角度給出了一種同步關(guān)系對(duì)變異點(diǎn)選取策略(SMPSS)。在12個(gè)Java類庫并發(fā)程序上,應(yīng)用SLRO和MSVO算子針對(duì)SMPSS選取出的變異點(diǎn)植入故障,生成變異體,并使用JPF檢測(cè)工具,檢測(cè)生成的變異體引發(fā)數(shù)據(jù)競爭故障的能力。實(shí)驗(yàn)結(jié)果表明,新設(shè)計(jì)的SLRO和MSVO變異算子對(duì)12個(gè)被測(cè)程序分別生成了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)~~
【分類號(hào)】：TP311.53
【正文快照】： 0引言隨著多線程并發(fā)程序的廣泛應(yīng)用,并發(fā)程序的測(cè)試變得越來越重要。變異測(cè)試[1-2]作為一種基于故障植入的測(cè)試方法,通過對(duì)被測(cè)程序的符號(hào)或語句進(jìn)行簡單修改以植入故障,以此來評(píng)估測(cè)試用例檢測(cè)這些植入故障的能力。并發(fā)變異測(cè)試是將變異測(cè)試應(yīng)用到多線程并發(fā)程序中,通過并發(fā)，

本文編號(hào)：1175002