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

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

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

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