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

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

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