基于不變量的測試用例自動(dòng)生成技術(shù)研究.pdf

1、軟件測試是保證軟件質(zhì)量的重要方法之一，是軟件生命周期中非常重要的一個(gè)環(huán)節(jié)。軟件測試的關(guān)鍵技術(shù)之一就是高質(zhì)量的測試用例的構(gòu)造。由于傳統(tǒng)的手工構(gòu)造測試用例的方法效率低下，且受測試人員經(jīng)驗(yàn)等人為因素的干擾較大，因此高質(zhì)量測試用例的自動(dòng)化生成技術(shù)的研究越來越受到工業(yè)界和學(xué)術(shù)界的重視。
　　 本文針對如何高自動(dòng)化地生成高質(zhì)量的測試用例這一研究課題，對測試用例的挑選和生成過程進(jìn)行了研究，提出了新的挑選和生成測試用例的方法，主要工作如下：

2、r>　　 (1)不變量和適應(yīng)算法指導(dǎo)測試用例生成
　　 該方法將自適應(yīng)隨機(jī)算法的思想應(yīng)用到基于不變量的測試用例自動(dòng)生成技術(shù)中，即考慮了程序輸入域中失效區(qū)域的局部連續(xù)性的特性，在輸入空間中跳躍式地選擇測試用例，克服了隨機(jī)測試的盲目性，增大了下一個(gè)用例為有效用例的概率。實(shí)驗(yàn)結(jié)果表明，基于適應(yīng)算法的挑選測試用例的方法不僅克服了隨機(jī)測試的低覆蓋率高冗余的缺點(diǎn)，還提高了有效測試用例集合的收斂速度。
　　 (2)基于斷言的測試用例

3、自動(dòng)生成
　　 基于斷言的測試用例自動(dòng)生成方法充分利用程序不變量的反饋信息，將動(dòng)態(tài)似然不變量自動(dòng)轉(zhuǎn)換成斷言并插裝生成斷言程序，利用斷言程序判定隨機(jī)生成的測試用例的有效性。這種方法不僅保持了原來基于不變量的自動(dòng)化測試用例生成方法的高覆蓋率，并且避免了重復(fù)提取相同的動(dòng)態(tài)似然不變量集合。實(shí)驗(yàn)表明，該方法減少了運(yùn)行Daikon提取不變量的次數(shù)，降低了時(shí)間開銷，且隨著程序量的增大，優(yōu)勢更加明顯。
　　 與原有的方法相比，本文提出的