進化測試中嵌套If-Else和函數(shù)調用結構的適值函數(shù)設計.pdf

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

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

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