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

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

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

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

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