進(jìn)化測(cè)試中嵌套If-Else和函數(shù)調(diào)用結(jié)構(gòu)的適值函數(shù)設(shè)計(jì).pdf

1、進(jìn)化測(cè)試是近年來(lái)興起的非常重要的一種自動(dòng)化測(cè)試數(shù)據(jù)生成技術(shù)。進(jìn)化測(cè)試的主要思想是將測(cè)試數(shù)據(jù)的生成問(wèn)題轉(zhuǎn)化成為進(jìn)化搜索問(wè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ù)是進(jìn)化測(cè)試中非常重要的一個(gè)方面。一個(gè)設(shè)計(jì)良好的適值函數(shù)能夠?yàn)檫M(jìn)化搜索提供更好更準(zhǔn)確的導(dǎo)向，從而提高進(jìn)化搜索的效率。因此適值函數(shù)一直是進(jìn)化測(cè)試領(lǐng)域的研究熱點(diǎn)。許多設(shè)計(jì)良好的適值函數(shù)

2、被應(yīng)用到進(jìn)化搜索中。 但是對(duì)于嵌套if-else結(jié)構(gòu)，由于其特殊的多層嵌套結(jié)構(gòu)，當(dāng)測(cè)試數(shù)據(jù)在某一層中偏離了目標(biāo)分支時(shí)，嵌套在該層內(nèi)的其它分支將不再執(zhí)行而在此時(shí)直接計(jì)算適值。這種情況導(dǎo)致測(cè)試數(shù)據(jù)在內(nèi)層未執(zhí)行的分支上的滿足程度信息的丟失。造成了對(duì)測(cè)試數(shù)據(jù)的不公平評(píng)價(jià)。針對(duì)這個(gè)問(wèn)題，本文借鑒可測(cè)變換的思想，提出分支樂(lè)觀度的概念。通過(guò)分支樂(lè)觀度來(lái)計(jì)算測(cè)試數(shù)據(jù)在未執(zhí)行的分支上的累積分支距離。通過(guò)將規(guī)格化后的分支樂(lè)觀度加入到原有的適值函數(shù)中

3、，一種針對(duì)嵌套if-else結(jié)構(gòu)的適值函數(shù)被成功提出。 當(dāng)測(cè)試目標(biāo)的執(zhí)行涉及到函數(shù)調(diào)用結(jié)構(gòu)時(shí)，現(xiàn)有的適值函數(shù)就不再適用。這是由于，現(xiàn)有的適值函數(shù)的靜態(tài)分析僅僅針對(duì)測(cè)試目標(biāo)所在的函數(shù)內(nèi)部，而沒(méi)有考慮測(cè)試目標(biāo)對(duì)函數(shù)調(diào)用的依賴。針對(duì)這種涉及函數(shù)調(diào)用的測(cè)試目標(biāo)，本文通過(guò)對(duì)函數(shù)調(diào)用的靜態(tài)分析，突出在函數(shù)調(diào)用鏈上的關(guān)鍵分支認(rèn)定方法，提出了函數(shù)逼近度的概念。函數(shù)逼近度用來(lái)衡量測(cè)試數(shù)據(jù)在函數(shù)調(diào)用依賴鏈上對(duì)測(cè)試目標(biāo)的滿足程度。最終，本文為涉及函數(shù)