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

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

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

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