范圍不變量軟件錯(cuò)誤定位優(yōu)化方法研究.pdf

1、隨著軟件開發(fā)的規(guī)模迅速增長(zhǎng)，軟件測(cè)試階段對(duì)自動(dòng)化錯(cuò)誤定位的技術(shù)需求也不斷增加。人們提出了各種各樣的軟件錯(cuò)誤定位方法來輔助測(cè)試人員和開發(fā)人員找出軟件中存在的錯(cuò)誤。范圍不變量錯(cuò)誤定位方法是自動(dòng)化軟件錯(cuò)誤定位方法的一種，它易于實(shí)現(xiàn)并且對(duì)變量值的錯(cuò)誤有較好的定位結(jié)果，因此有較高的實(shí)際應(yīng)用價(jià)值。
　　范圍不變量錯(cuò)誤定位方法由于本身分析方法的特點(diǎn)影響，對(duì)某些類型錯(cuò)誤很難或不能定位；范圍不變量錯(cuò)誤定位的結(jié)果受測(cè)試用例的影響比較大，對(duì)于成功測(cè)試用

2、例較多的測(cè)試集會(huì)產(chǎn)生較多漏報(bào)；范圍不變量錯(cuò)誤定位給出的是一系列可疑語(yǔ)句集，沒有可疑度的概念，因此定位結(jié)果受語(yǔ)句所在位置影響較大，語(yǔ)句在執(zhí)行路徑靠前時(shí)定位結(jié)果靠前，否則靠后。
　　針對(duì)范圍不變量的上述問題，本文對(duì)其進(jìn)行了相應(yīng)的優(yōu)化：
　　對(duì)于范圍不變量錯(cuò)誤定位方法受測(cè)試用例影響產(chǎn)生誤報(bào)的情況，本文采取基于刪除偶然正確性測(cè)試用例的測(cè)試用例優(yōu)選，刪除部分判定為可疑偶然正確性測(cè)試用例的成功測(cè)試用例。對(duì)測(cè)試用例較多的測(cè)試集減少了漏報(bào)。

3、并提出了根據(jù)定位結(jié)果選擇刪除測(cè)試用例數(shù)量的方法，即先刪除少部分可疑的偶然正確性測(cè)試用例，如果不能定位到錯(cuò)誤，則進(jìn)一步刪除更多的可疑偶然正確性測(cè)試用例。
　　對(duì)于范圍不變量錯(cuò)誤定位方法對(duì)整型變量可能造成漏報(bào)的情況，本文將整型變量的不變量類型由區(qū)間形式改為離散形式，減少了整型變量錯(cuò)誤的漏報(bào)。
　　對(duì)于范圍不變量錯(cuò)誤定位對(duì)于賦值語(yǔ)句的常量變異很難定位的情況，本文進(jìn)行了基于失效用例執(zhí)行路徑的前向依賴優(yōu)化，在失敗測(cè)試用例執(zhí)行路徑中對(duì)計(jì)

4、算出的可疑錯(cuò)誤語(yǔ)句找出其數(shù)據(jù)依賴的賦值語(yǔ)句，將之標(biāo)記為可疑語(yǔ)句。減少了這類錯(cuò)誤的漏報(bào)。
　　對(duì)于范圍不變量錯(cuò)誤定位方法定位結(jié)果只是一系列可疑語(yǔ)句，從而可能造成誤報(bào)的情況，本文定義了范圍不變量錯(cuò)誤定位可疑語(yǔ)句的可疑度，減少了錯(cuò)誤定位的誤報(bào)。
　　本文對(duì)各個(gè)優(yōu)化方法進(jìn)行了對(duì)比實(shí)驗(yàn)驗(yàn)證了優(yōu)化效果。并將優(yōu)化后的范圍不變量錯(cuò)誤定位方法與經(jīng)典的Tarantula方法進(jìn)行了對(duì)比，分析了優(yōu)化范圍不變量錯(cuò)誤定位不易定位的錯(cuò)誤。對(duì)于可以定位的錯(cuò)