基于約束求解的靜態(tài)缺陷檢測(cè)求精技術(shù)研究.pdf

1、近年來，計(jì)算機(jī)軟件的應(yīng)用已經(jīng)滲入到了國防、航天、交通和醫(yī)療等各個(gè)關(guān)鍵領(lǐng)域，因此提高軟件的質(zhì)量已成為一項(xiàng)十分緊迫的任務(wù)。軟件測(cè)試是保證軟件質(zhì)量的一種重要手段。相比于動(dòng)態(tài)測(cè)試，靜態(tài)缺陷檢測(cè)是在不運(yùn)行被測(cè)程序的前提下發(fā)現(xiàn)程序中的缺陷，可以應(yīng)用于軟件開發(fā)周期的早期。因此，如何提高靜態(tài)缺陷檢測(cè)的精度，以減少人工確認(rèn)真正缺陷所耗費(fèi)的人力和時(shí)間，提高靜態(tài)缺陷檢測(cè)工具的實(shí)用性，成為了該領(lǐng)域的研究熱點(diǎn)。
　　本文以基于約束求解的靜態(tài)缺陷檢測(cè)求精技術(shù)

2、為核心研究內(nèi)容，旨在探索如何提高靜態(tài)缺陷檢測(cè)的精度。在前期DTS(缺陷檢測(cè)系統(tǒng))分析結(jié)果的基礎(chǔ)上，本文提出了一種基于約束求解的誤報(bào)消除方法，對(duì)其檢測(cè)結(jié)果進(jìn)一步求精:一旦靜態(tài)缺陷檢測(cè)報(bào)告了一個(gè)潛在缺陷，就在缺陷路徑上提取路徑約束，并將提取的所有路徑約束以及潛在缺陷點(diǎn)的數(shù)據(jù)流值作為約束求解器的輸入，通過約束求解技術(shù)來判斷該潛在缺陷的可滿足性，若約束求解的結(jié)果為無解，則表明該潛在缺陷是個(gè)誤報(bào)。另外，靜態(tài)分析對(duì)諸如循環(huán)和函數(shù)調(diào)用等與程序具體執(zhí)行

3、狀態(tài)相關(guān)的程序語義的分析較為保守，因此為了獲得精確的數(shù)據(jù)流值，本文提出一種動(dòng)態(tài)執(zhí)行結(jié)合回歸分析的求精方法:通過動(dòng)態(tài)執(zhí)行獲得精確的程序運(yùn)行時(shí)信息，同時(shí)引入回歸分析技術(shù)，通過匯總多次動(dòng)態(tài)執(zhí)行的結(jié)果，對(duì)待分析變量進(jìn)行符號(hào)替換，并根據(jù)不同需求得到較為精確的變量取值區(qū)間或生成符號(hào)化函數(shù)摘要，以此提高靜態(tài)缺陷檢測(cè)中變量區(qū)間分析的精度，從而進(jìn)一步提高上述約束求解的精度，使得約束求解的結(jié)果更有意義。
　　本文通過對(duì)若干個(gè)開源工程進(jìn)行靜態(tài)缺陷檢測(cè)來