基于函數(shù)摘要的C++程序全局靜態(tài)分析研究.pdf

1、隨著信息化的推進(jìn)，軟件應(yīng)用的領(lǐng)域越來越廣泛，軟件本身的復(fù)雜性也隨之加大。如何保證軟件質(zhì)量一直是計(jì)算機(jī)技術(shù)的熱門研究領(lǐng)域。本文主要研究在面向缺陷模式的測試技術(shù)中，如何通過全局分析的方法提高測試工具的能力。本文基于抽象解釋理論，提出用函數(shù)摘要的方式來抽象函數(shù)的運(yùn)行時(shí)行為和特征，用函數(shù)參數(shù)類型、返回值、約束、副作用等四元組來近似描述函數(shù)，提供全局分析的信息支持。
　　 本文在 DTS_CPP框架基礎(chǔ)上，增加了全局類型分析，并完善了控制

2、流圖中關(guān)于異常路徑的分析。根據(jù)全局函數(shù)之間調(diào)用關(guān)系，得出被測文件分析單元之間的邏輯依賴順序，為計(jì)算函數(shù)摘要提供基礎(chǔ)。最后在DTS_CPP中添加函數(shù)摘要計(jì)算模塊，并修改已有缺陷檢測模式，以適應(yīng)全局分析。此外本文還設(shè)計(jì)了用可擴(kuò)展 XML語言來解決庫函數(shù)摘要的問題。
　　 本文設(shè)計(jì)了回歸和評測 DTS_CPP工具的測試框架，通過收集和整理的1836個(gè)評測用例集和十個(gè)開源 C/C++工程來驗(yàn)證全局分析框架和算法的性能和效果。在十個(gè)開源工