基于程序切片和符號(hào)執(zhí)行的不可達(dá)路徑檢測(cè)方法.pdf

1、針對(duì)不可達(dá)路徑的檢測(cè)是十分重要的，是保障程序質(zhì)量的重要手段之一。若軟件測(cè)試中被選定的測(cè)試數(shù)據(jù)是針對(duì)那些位于不可達(dá)路徑上的語(yǔ)句，那么在測(cè)試過(guò)程中將并不會(huì)真正被測(cè)試到，這將對(duì)測(cè)試數(shù)據(jù)的生成階段造成大量的浪費(fèi)。目前不可達(dá)路徑的檢測(cè)方法主要分為兩類，即靜態(tài)檢測(cè)法和動(dòng)態(tài)檢測(cè)法，它們各存在一定的問(wèn)題，靜態(tài)檢測(cè)法雖然消耗的時(shí)間空間資源較少，但是容易造成誤報(bào)和漏報(bào)；而動(dòng)態(tài)檢測(cè)法消耗的時(shí)間空間資源較多，同時(shí)由于路徑較為復(fù)雜容易造成狀態(tài)爆炸等問(wèn)題。

2、　　本文給出了一種基于程序切片和符號(hào)執(zhí)行的不可達(dá)路徑檢測(cè)方法，以高級(jí)程序設(shè)計(jì)語(yǔ)言的代碼作為輸入，將其轉(zhuǎn)換成為L(zhǎng)LVM中間表示的形式，對(duì)其進(jìn)行靜態(tài)程序切片，獲取靜態(tài)切片結(jié)果。然后再對(duì)程序代碼進(jìn)行符號(hào)執(zhí)行，找出所有可行的不同輸入，再根據(jù)這些輸入對(duì)其進(jìn)行動(dòng)態(tài)程序切片，將靜態(tài)切片與動(dòng)態(tài)切片的結(jié)果相比較，實(shí)現(xiàn)檢測(cè)程序代碼中的不可達(dá)路徑的目的，能夠從一定程度上緩解不可達(dá)路徑的檢測(cè)方法存在誤報(bào)和漏報(bào)的問(wèn)題。
　　另外，為了應(yīng)對(duì)消耗的時(shí)間空間資源