內(nèi)存泄漏是C/C++程序的一種常見的、難以發(fā)現(xiàn)的缺陷,一直困擾著軟件開發(fā)者,尤其是針對長時(shí)間運(yùn)行的程序或者系統(tǒng)軟件,內(nèi)存泄漏的后果十分嚴(yán)重.針對內(nèi)存泄漏的檢測,目前主要有靜態(tài)分析和動態(tài)測試兩種方法.動態(tài)測試實(shí)際運(yùn)行程序具有較大開銷,同時(shí)依賴測試用例的質(zhì)量;靜態(tài)分析技術(shù)及自動化工具已被學(xué)術(shù)界和工業(yè)界廣泛運(yùn)用于內(nèi)存泄漏缺陷檢測中,然而由于靜態(tài)分析采取了保守的策略,其結(jié)果往往包含數(shù)量巨大的誤報(bào),需要通過進(jìn)一步的人工確認(rèn)來甄別誤報(bào).但人工確認(rèn)靜態(tài)分析的結(jié)果耗時(shí)且容易出錯,嚴(yán)重限制了靜態(tài)分析技術(shù)的實(shí)用性.提出一種基于混合執(zhí)行測試的靜態(tài)內(nèi)存泄漏警報(bào)的自動化確認(rèn)方法:首先,針對靜態(tài)分析報(bào)告的目標(biāo)程序中內(nèi)存泄漏的靜態(tài)警報(bào),對目標(biāo)程序進(jìn)行控制流分析,并計(jì)算警報(bào)的可達(dá)性,形成制導(dǎo)信息;其次,基于警報(bào)制導(dǎo)信息對目標(biāo)程序進(jìn)行混合執(zhí)行測試;最后,在混合執(zhí)行測試過程中,監(jiān)控追蹤內(nèi)存對象的狀態(tài),判定內(nèi)存泄漏是否發(fā)生,對靜態(tài)警報(bào)進(jìn)行動態(tài)確認(rèn)并分類.實(shí)驗(yàn)結(jié)果表明:該方法可對靜態(tài)內(nèi)存泄漏警報(bào)進(jìn)行有效的分類,顯著降低了人工確認(rèn)的工作量. 

【文章頁數(shù)】：18 頁

【文章目錄】：
1 靜態(tài)內(nèi)存泄漏警報(bào)
    1.1 形式化定義
    1.2 警報(bào)分類
2 C/C++程序靜態(tài)內(nèi)存泄漏警報(bào)自動確認(rèn)方法
    2.1 方法架構(gòu)
    2.2 警報(bào)可達(dá)性分析
    2.3 路徑制導(dǎo)的混合執(zhí)行測試
    2.4 警報(bào)動態(tài)確認(rèn)
3 工具與評估
    3.1 工具實(shí)現(xiàn)
    3.2 實(shí)驗(yàn)對象與設(shè)計(jì)
    3.3 實(shí)驗(yàn)數(shù)據(jù)及分析
        3.3.1 實(shí)驗(yàn)1
            結(jié)論1.
            結(jié)論2.
            結(jié)論3.
        3.3.2 實(shí)驗(yàn)2
        3.3.3 實(shí)驗(yàn)3
    3.4 討論
4 相關(guān)工作
    4.1 內(nèi)存泄漏檢測
    4.2 測試生成方法
    4.3 靜態(tài)分析結(jié)果的驗(yàn)證和誤報(bào)消除
5 總結(jié)與展望


【參考文獻(xiàn)】：
期刊論文
[1]一種目標(biāo)制導(dǎo)的混合執(zhí)行測試方法[J]. 崔展齊,王林章,李宣東.  計(jì)算機(jī)學(xué)報(bào). 2011(06)



本文編號：3704989