降低變異測(cè)試代價(jià)方法的研究.pdf

1、隨著信息時(shí)代的到來(lái)，軟件逐漸滲透到社會(huì)的各個(gè)領(lǐng)域，給人類(lèi)社會(huì)帶來(lái)了諸多好處，但同時(shí)，軟件質(zhì)量問(wèn)題也給人類(lèi)社會(huì)造成了巨大的危害。軟件產(chǎn)品的質(zhì)量牽動(dòng)著社會(huì)的命脈，如何開(kāi)發(fā)出高質(zhì)量的軟件是軟件行業(yè)急需解決的問(wèn)題。
　　 軟件測(cè)試是保證軟件質(zhì)量的重要手段，貫穿于整個(gè)軟件開(kāi)發(fā)生命周期。測(cè)試的直接目的是在軟件投入使用之前，盡可能的發(fā)掘軟件中可能存在的錯(cuò)誤與缺陷，并加以糾正，從而保證軟件的質(zhì)量和性能。
　　 變異測(cè)試是一種基于錯(cuò)誤的軟

2、件測(cè)試技術(shù)，能夠系統(tǒng)的模擬軟件中的各種缺陷，并在測(cè)試過(guò)程中構(gòu)造能夠揭示這些錯(cuò)誤的數(shù)據(jù)集。變異測(cè)試一方面可以構(gòu)造完備的測(cè)試數(shù)據(jù)集用來(lái)揭示軟件缺陷，另一方面，又可以作為衡量測(cè)試數(shù)據(jù)集充分度的準(zhǔn)則，評(píng)估測(cè)試的充分性。但是，變異測(cè)試的高代價(jià)嚴(yán)重阻礙了它的廣泛應(yīng)用，本文從導(dǎo)致高代價(jià)的兩個(gè)原因——龐大的測(cè)試用例數(shù)目，龐大的變異體及等價(jià)變異體數(shù)目出發(fā)，對(duì)降低變異測(cè)試的代價(jià)問(wèn)題進(jìn)行了研究。
　　 測(cè)試用例的優(yōu)化是降低變異測(cè)試代價(jià)的一個(gè)重要手段。

3、已有優(yōu)化算法的評(píng)估多以代碼覆蓋為基礎(chǔ)，這并不能完全反應(yīng)程序的錯(cuò)誤狀況，因?yàn)楦叽a覆蓋率的測(cè)試用例并不一定具有高的揭示錯(cuò)誤的能力。因此，本文結(jié)合變異測(cè)試，從新的角度——錯(cuò)誤覆蓋出發(fā)，對(duì)幾種搜索算法，包括兩種貪心算法（基本貪心算法、額外貪心算法）、一種啟發(fā)式算法（爬山算法）、及遺傳算法的優(yōu)化效果進(jìn)行了評(píng)估。實(shí)驗(yàn)證明，額外貪心算法的優(yōu)化效果最優(yōu)，該實(shí)驗(yàn)結(jié)果的置信度更高。
　　 變異體的約簡(jiǎn)是降低變異測(cè)試代價(jià)的又一重要手段。本文提出基于