不變量指導(dǎo)下的測試用例自動化生成技術(shù)研究.pdf

1、隨著計算機(jī)在人類生活中占據(jù)越來越重要的地位，作為計算機(jī)中至關(guān)重要的組成部分，軟件的質(zhì)量問題對人的影響也越來越大。軟件的錯誤會造成非常嚴(yán)重的后果，因此，作為發(fā)現(xiàn)軟件錯誤，保障軟件質(zhì)量的重要手段，軟件測試技術(shù)在軟件工程和計算機(jī)科學(xué)中的地位也日益重要。作為軟件測試中非常重要的環(huán)節(jié)，測試用例生成技術(shù)也一直是科研領(lǐng)域的熱點(diǎn)之一。然而，現(xiàn)有的測試用例生成技術(shù)存在著比較明顯的問題：良好的測試用例生成方法需要手工完成，效率低下，耗時較長；耗時很少的自動

2、化方法，生成的測試用例集合的質(zhì)量卻不高。自動化地生成高質(zhì)量的測試用例集合，是測試用例生成領(lǐng)域的一個重要的課題。
　　 本文在隨機(jī)測試方法的基礎(chǔ)上，利用不變量技術(shù)的特性，提出一種新的方法。在保留隨機(jī)方法優(yōu)點(diǎn)的基礎(chǔ)上，利用不變量改進(jìn)隨機(jī)方法的缺點(diǎn)，并且在該技術(shù)的基礎(chǔ)上實(shí)現(xiàn)了一個框架工具CRT。本文主要的研究內(nèi)容包括：1）利用提取到的程序不變量來判定測試用例的有效性，過濾無效用例，有效降低最終用例集合的冗余度；2）利用程序不變量和無效

3、用例進(jìn)行無效用例空間的約簡，減小被測函數(shù)參數(shù)的取值區(qū)間，提高有效測試用例被選中的概率，進(jìn)一步提高用例生成的效率。3）提出兩種提高測試用例生成效率的方法——利用優(yōu)化算法遺傳算法的思路提高測試用例集合的收斂速度；將不變量結(jié)果轉(zhuǎn)化為斷言進(jìn)行新用例有效性的判斷，降低時間開銷，提高生成速度。
　　 不變量指導(dǎo)下的隨機(jī)測試用例生成技術(shù)可以完全實(shí)現(xiàn)自動化。實(shí)驗證明，在不需要任何人工操作的前提下，該技術(shù)可以自動生成滿足覆蓋率要求的適當(dāng)大小的測試