進化測試中的靜態(tài)分析技術研究.pdf

1、進化測試是一種以自動生成高質量測試數(shù)據為目的的新興的測試技術，已被成功應用于工程實踐中。進化測試的基本思想就是將在不同覆蓋準則下的測試數(shù)據生成問題轉化成一個全局搜索的問題，利用遺傳算法等進化算法的全局魯棒尋優(yōu)能力搜索所需的測試數(shù)據。然而，在結構化測試中，當程序中存在內部狀態(tài)問題時，進化測試的搜索過程就會受到阻礙，并導致測試數(shù)據搜索的失敗。 在面向對象程序中，內部狀態(tài)問題指的是，一個特定測試目標的覆蓋往往必須通過一系列的方法調用才

2、能達到。一方面，數(shù)據成員的改變只能通過相應的方法接口；另一方面，封裝的存在，對于非公有方法的的測試只能通過其相應的公有方法接口來測試，更進一步加大了問題的復雜性。本文為合理的描述面向對象程序測試內部狀態(tài)問題，針對進化測試動態(tài)搜索的驅動需求提出了一種新的程序靜態(tài)分析方法——分支依賴分析。作者通過對分支依賴關系的詳細討論劃分，給出了分支依賴圖的定義，設計分支依賴圖的構建算法，并且對方法調用鏈進行了分析，求解控制調用分支信息添加到分支依賴圖中