基于動態(tài)符號執(zhí)行的測試用例生成技術(shù)研究.pdf

1、軟件測試是工業(yè)界提高軟件可靠性、安全性和健壯性的主要技術(shù)途徑，是軟件工程周期中十分重要的環(huán)節(jié)。隨著軟件規(guī)模的增加以及軟件在各個應(yīng)用領(lǐng)域重要性的提升，軟件測試在軟件開發(fā)周期中的預(yù)算比重也不斷上升，達到了50％-80％。因此如何提高測試自動化程度，減小測試代價成為工業(yè)界和學(xué)術(shù)界關(guān)注的重要問題。測試用例自動生成作為自動化軟件測試中一項重要技術(shù)能大幅減少軟件測試的代價、縮短軟件開發(fā)周期。然而，目前測試用例自動生成技術(shù)仍存在一些問題，研究如何解決

2、這些問題具有重要意義。
　　本文關(guān)注基于動態(tài)符號執(zhí)行的測試用例生成技術(shù)，針對動態(tài)符號執(zhí)行中存在的路徑組合爆炸和約束求解不準確等問題，提出了一種路徑空間搜索策略和一種改進非線性算術(shù)約束求解過程的新算法，并且以這兩項技術(shù)為基礎(chǔ)實現(xiàn)了一個原型工具。本文的主要研究內(nèi)容有:1）提出一種未覆蓋分支數(shù)指導(dǎo)的搜索策略，它計算每個分支的后繼未覆蓋分支數(shù)的近似期望值，以此為權(quán)值指導(dǎo)搜索過程:在動態(tài)符號執(zhí)行過程中記錄已覆蓋的分支，根據(jù)每個分支的后繼分支

3、被覆蓋情況更新分支的權(quán)值，選擇合適的分支組成路徑條件;最后生成覆蓋新分支較多的測試用例。2）提出一種改進動態(tài)符號執(zhí)行中非線性算術(shù)約束求解過程的算法。該算法利用連續(xù)求解的路徑條件約束具有相似性這一特征，在求解非線性算術(shù)約束時充分利用上次約束求解的輸出信息，避免求解出錯并減少求解時間。3）實現(xiàn)原型工具并評估本文所提策略和算法，將本文所述搜索策略與其它搜索策略在三組測試基準程序上進行比較，本文還評估了所述改進非線性算術(shù)約束求解過程算法的時間開