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

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

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