面向Java的跨函數(shù)分析技術(shù).pdf

1、本文介紹了作者在跨函數(shù)分析研究方面所做的工作，包括跨函數(shù)分析技術(shù)的設(shè)計與實現(xiàn)以及對現(xiàn)有 DTSJava（Defect Testing Systemfor Java）系統(tǒng)的改進(jìn)，將跨函數(shù)分析模塊與區(qū)間運算模塊結(jié)合，針對資源泄漏缺陷實現(xiàn)檢測算法，從應(yīng)用角度驗證了 DTSJava跨函數(shù)分析技術(shù)。
　　 DTSJava是一個以數(shù)據(jù)流分析為核心、以抽象解釋和模型檢查輔助的通用的軟件缺陷靜態(tài)檢測系統(tǒng)。它將軟件故障抽象為缺陷模式狀態(tài)機(jī)，故障構(gòu)

2、成因素表示為狀態(tài)，構(gòu)成因素的時序關(guān)系表示為狀態(tài)之間的轉(zhuǎn)換。缺陷模式分析的過程是沿著控制流按狀態(tài)機(jī)的轉(zhuǎn)換條件進(jìn)行狀態(tài)計算。如果實際導(dǎo)致狀態(tài)轉(zhuǎn)換的源代碼不在同一函數(shù)中而是通過函數(shù)調(diào)用，那么稱為多個函數(shù)構(gòu)成的故障。已有的 DTSJava檢測系統(tǒng)關(guān)注整個系統(tǒng)框架的設(shè)計與實現(xiàn)，不具備多函數(shù)故障的檢測能力。與著名的軟件測試工具 Klocwork的對比發(fā)現(xiàn)，多函數(shù)故障在 DTSJava的漏報中占很大比例。
　　 為了提高故障覆蓋率，本文提出面

3、向故障的函數(shù)摘要概念，將跨函數(shù)分析分為收集和應(yīng)用函數(shù)摘要兩階段。系統(tǒng)提供抽象定義，故障檢測算法實現(xiàn)函數(shù)摘要的提取方法和應(yīng)用方法。根據(jù)用途的不同，本文設(shè)計了三種函數(shù)摘要：前置條件 Precondition、后置條件Postcondition和函數(shù)特征 Feature。前置條件是避免程序故障必須滿足的限制，后置條件表示函數(shù)對調(diào)用者上下文環(huán)境的影響（如變量值），函數(shù)特征表示對故障檢測狀態(tài)機(jī)的影響（如文件操作）。
　　 最后針對資源泄漏