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

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

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

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