進(jìn)化測(cè)試在嵌入式匯編的嵌套分支結(jié)構(gòu)中的應(yīng)用.pdf

1、進(jìn)化測(cè)試是近年來剛剛興起的測(cè)試數(shù)據(jù)自動(dòng)生成技術(shù)，已在很多實(shí)際工程中得到了成功應(yīng)用。其主要思想是利用進(jìn)化算法將測(cè)試數(shù)據(jù)的生成問題轉(zhuǎn)化成為進(jìn)化搜索問題，從而實(shí)現(xiàn)測(cè)試的自動(dòng)化。進(jìn)化測(cè)試?yán)眠M(jìn)化算法的全局搜索能力，在具有導(dǎo)向性的適值函數(shù)的引導(dǎo)下，能夠快速高效的自動(dòng)生成測(cè)試數(shù)據(jù)。其中適值函數(shù)在這當(dāng)中充當(dāng)著重要的角色，一個(gè)設(shè)計(jì)良好的適值函數(shù)能夠?yàn)檫M(jìn)化搜索提供更好更準(zhǔn)確的導(dǎo)向，從而提高進(jìn)化搜索的效率。
　　 在實(shí)現(xiàn)進(jìn)化測(cè)試對(duì)基于嵌入式匯編程序

2、的應(yīng)用過程中，首先要面臨的問題就是代碼的植入問題，由于匯編語(yǔ)言具有多種尋址方式，它的植入方法不像高級(jí)語(yǔ)言的植入那么簡(jiǎn)單，對(duì)此本文提出了一種基于匯編的代碼植入方案并將其應(yīng)用到具體實(shí)現(xiàn)中。同時(shí)在基于匯編語(yǔ)言的嵌入式程序中，分支結(jié)構(gòu)是程序中最主要的控制結(jié)構(gòu)，而其中嵌套的分支結(jié)構(gòu)最為復(fù)雜，因此本文將主要針對(duì)基于嵌入式匯編中的嵌套分支結(jié)構(gòu)的適值函數(shù)的計(jì)算進(jìn)行討論和實(shí)現(xiàn)。在具體的應(yīng)用過程中將分別從基于傳統(tǒng)的適值計(jì)算方法、基于分支距離的適值計(jì)算方法以

3、及基于分支樂觀度的適值計(jì)算方法這三種方法來進(jìn)行實(shí)現(xiàn)。通過具體應(yīng)用發(fā)現(xiàn)對(duì)于這三種方法，傳統(tǒng)的方法在測(cè)試輸入無(wú)法滿足各層分支條件的情況下，無(wú)法對(duì)內(nèi)層的數(shù)據(jù)進(jìn)行有效評(píng)價(jià)；基于分支距離的適值計(jì)算方法則完全忽略了分支之間的控制依賴關(guān)系而同樣在有些情況下無(wú)法正確評(píng)價(jià)測(cè)試數(shù)據(jù)；而基于分支樂觀度的適值計(jì)算方法則解決了前面二者所出現(xiàn)的問題，使得適值計(jì)算對(duì)進(jìn)化搜索具有更好的導(dǎo)向性。
　　 通過實(shí)驗(yàn)檢驗(yàn)表明，在基于匯編的嵌套分支結(jié)構(gòu)的適值函數(shù)計(jì)算中基