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

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

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

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