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

1、進化測試是近年來興起的非常重要的一種自動化測試數(shù)據(jù)生成技術(shù)。進化測試的主要思想是將測試數(shù)據(jù)的生成問題轉(zhuǎn)化成為進化搜索問題，從而實現(xiàn)測試的自動化。進化測試?yán)眠M化算法的全局搜索能力，在具有導(dǎo)向性的適值函數(shù)的引導(dǎo)下，能夠快速高效的自動生成測試數(shù)據(jù)。 適值函數(shù)是進化測試中非常重要的一個方面。一個設(shè)計良好的適值函數(shù)能夠為進化搜索提供更好更準(zhǔn)確的導(dǎo)向，從而提高進化搜索的效率。因此適值函數(shù)一直是進化測試領(lǐng)域的研究熱點。許多設(shè)計良好的適值函數(shù)

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

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