基于遺傳算法的軟件測試技術(shù)的研究.pdf

1、從上世紀(jì)70年代以來，伴隨著軟件工程的發(fā)展，對系統(tǒng)化的軟件測試技術(shù)和方法的研究也隨之不斷地發(fā)展。軟件測試從最初的靜態(tài)分析，動態(tài)調(diào)試等簡單的個體查錯行為逐漸發(fā)展成為形式化、系統(tǒng)化的工程行為。各種形式化的證明與驗(yàn)證技術(shù)用于確保程序的正確性，大量的統(tǒng)計方法也被應(yīng)用于軟件測試，以評測軟件產(chǎn)品的質(zhì)量和軟件系統(tǒng)的可靠性。隨著軟件系統(tǒng)規(guī)模的日益擴(kuò)大，以及應(yīng)用領(lǐng)域的不斷拓展，對軟件系統(tǒng)的測試也變得更加困難和復(fù)雜，傳統(tǒng)的人工測試的局限性也越來越明顯。軟件

2、測試技術(shù)的研究需要有革新性的發(fā)展。
　　 軟件測試是軟件工程中的重要內(nèi)容，它占到了整個軟件系統(tǒng)工程50％以上的時間和資源的開銷。自動化軟件測試技術(shù)的研究，可以提高測試的效率，減少人工測試的勞動，有效地縮短測試周期。同時，自動化軟件測試技術(shù)有助于減少經(jīng)驗(yàn)方式所導(dǎo)致的測試遺漏，能夠采用形式化的自動驗(yàn)證和確認(rèn)技術(shù)保證測試的可靠性，增加測試結(jié)果的可信度。
　　 遺傳算法是一種模仿生物遺傳和進(jìn)化機(jī)制的最優(yōu)化方法，它將基因的交叉、變