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

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

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