[發(fā)明專利]一種基于抽象解釋技術(shù)的缺陷警報(bào)分組方法及裝置

無(wú)效

• 申請(qǐng)?zhí)枺?/td>: 201310687844.3
• 申請(qǐng)日: 2013-12-13
• 公開（公告）號(hào): CN103678128A
• 公開（公告）日: 2014-03-26
• 發(fā)明（設(shè)計(jì)）人: 金大海;宮云戰(zhàn);黃俊飛;王雅文;張大林
• 申請(qǐng)（專利權(quán)）人: 北京郵電大學(xué)
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 北京派特恩知識(shí)產(chǎn)權(quán)代理事務(wù)所(普通合伙) 11270
• 代理人: 張振偉;王黎延

1.一種基于抽象解釋技術(shù)的缺陷警報(bào)分組方法，其特征在于，所述方法包括：

獲取函數(shù)控制流圖上節(jié)點(diǎn)的抽象語(yǔ)義，并獲取函數(shù)控制流圖上所述節(jié)點(diǎn)的求精的抽象語(yǔ)義；

當(dāng)在所述節(jié)點(diǎn)上報(bào)告一個(gè)以上缺陷警報(bào)時(shí)，依據(jù)所述缺陷警報(bào)間的抽象依賴關(guān)系，對(duì)所述缺陷警報(bào)進(jìn)行分組；

其中，所述缺陷警報(bào)間的抽象依賴關(guān)系為：當(dāng)缺陷警報(bào)具體依賴于缺陷警報(bào)時(shí)，當(dāng)所述缺陷警報(bào)在對(duì)應(yīng)的抽象語(yǔ)義下被報(bào)告，而在對(duì)應(yīng)的求精的抽象語(yǔ)義下沒有被報(bào)告時(shí)，則確定所述缺陷警報(bào)抽象依賴于所述缺陷警報(bào)

其中，所述缺陷警報(bào)具體依賴缺陷警報(bào)為：當(dāng)且僅當(dāng)缺陷警報(bào)不發(fā)生總能得出缺陷警報(bào)不發(fā)生，則確定所述缺陷警報(bào)具體依賴于所述缺陷警報(bào)

2.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述獲取函數(shù)控制流圖上所述節(jié)點(diǎn)及所述節(jié)點(diǎn)的前驅(qū)節(jié)點(diǎn)的求精的抽象語(yǔ)義，包括：

當(dāng)報(bào)告一個(gè)缺陷警報(bào)時(shí)，在所述缺陷警報(bào)所在節(jié)點(diǎn)上切除所述節(jié)點(diǎn)的錯(cuò)誤狀態(tài)，獲得所述節(jié)點(diǎn)的狀態(tài)切片；

將所述節(jié)點(diǎn)的狀態(tài)切片作為所述抽象語(yǔ)義的外部約束信息，獲得所述節(jié)點(diǎn)的求精的抽象語(yǔ)義。

3.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述在所述缺陷警報(bào)所在節(jié)點(diǎn)上切除所述節(jié)點(diǎn)的錯(cuò)誤狀態(tài)，獲得所述節(jié)點(diǎn)的狀態(tài)切片，包括：

當(dāng)程序P的節(jié)點(diǎn)l上報(bào)告一個(gè)缺陷時(shí)，在所述節(jié)點(diǎn)l上切除所述缺陷對(duì)應(yīng)的錯(cuò)誤狀態(tài)后的狀態(tài)切片表示為：

其中，為所述缺陷所對(duì)應(yīng)的具體錯(cuò)誤狀態(tài)；表示錯(cuò)誤狀態(tài)的切除操作；為程序P的節(jié)點(diǎn)l的具體語(yǔ)義；

獲得所述節(jié)點(diǎn)的狀態(tài)切片，所述狀態(tài)切片的抽象語(yǔ)義表示為

其中，為缺陷所對(duì)應(yīng)的可靠的抽象錯(cuò)誤狀態(tài)；表示可靠的抽象的錯(cuò)誤狀態(tài)的切除操作；為抽象域下所述程序P的抽象語(yǔ)義。

4.根據(jù)權(quán)利要求2所述的方法，其特征在于，所述將所述節(jié)點(diǎn)的狀態(tài)切片作為所述抽象語(yǔ)義的外部約束信息，獲得所述節(jié)點(diǎn)的求精的抽象語(yǔ)義，包括：

當(dāng)輸入的程序點(diǎn)集合L_in為：L_in={l∈L|l:input(x_l)}時(shí)，確定輸入函數(shù)δ表示為：

其中，L表示所有程序點(diǎn)集合；x_l表示在程序點(diǎn)l處的變量x；為程序變量集合；表示所有變量的取值集合；

將缺陷警報(bào)所在的程序點(diǎn)的狀態(tài)切片作為程序抽象語(yǔ)義的外部約束信息，替換原有程序錯(cuò)誤狀態(tài)，則所述輸入的節(jié)點(diǎn)集合L_in為：其中，為所有缺陷警報(bào)發(fā)生節(jié)點(diǎn)；

則缺陷蹤跡的求精語(yǔ)義表示為：

其中，l表示程序點(diǎn)；表示l點(diǎn)的錯(cuò)誤狀態(tài)切片；表示變量集合下的具體語(yǔ)義函數(shù)；∩表示求精操作；

當(dāng)是對(duì)的可靠抽象時(shí)，所述和滿足如下表達(dá)式：

其中，為切除錯(cuò)誤狀態(tài)后的狀態(tài)切片；表示在狀態(tài)切片中變量x的取值；表示切除錯(cuò)誤狀態(tài)后的狀態(tài)切片滿足映射函數(shù)δ；表示程序點(diǎn)l的錯(cuò)誤狀態(tài)切片；是對(duì)的可靠抽象；表示下的具體語(yǔ)義函數(shù)；則表明語(yǔ)義可靠性；

所述缺陷蹤跡的求精語(yǔ)義的抽象語(yǔ)義表示為：

其中，是對(duì)的可靠抽象，即

其中，表示最小不動(dòng)點(diǎn)語(yǔ)義；表示錯(cuò)誤點(diǎn)的抽象值；表示抽象交運(yùn)算。

5.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述獲取函數(shù)控制流圖上節(jié)點(diǎn)的抽象語(yǔ)義，并獲取函數(shù)控制流圖上所述節(jié)點(diǎn)及所述節(jié)點(diǎn)的前驅(qū)節(jié)點(diǎn)的求精的抽象語(yǔ)義之后，所述方法還包括：

更新所有程序的求精的抽象狀態(tài)，具體包括：將獲取的每一個(gè)求精的抽象語(yǔ)義分別賦給對(duì)應(yīng)節(jié)點(diǎn)的抽象語(yǔ)義，更新所有的求精的抽象狀態(tài)；

將所述節(jié)點(diǎn)的抽象語(yǔ)義分別賦給對(duì)應(yīng)節(jié)點(diǎn)的程序抽象狀態(tài)，恢復(fù)原有函數(shù)抽象狀態(tài)取值。

6.根據(jù)權(quán)利要求1所述的方法，其特征在于，所述方法還包括：

根據(jù)當(dāng)前缺陷警報(bào)的依賴關(guān)系，當(dāng)確定所述缺陷警報(bào)為誤報(bào)時(shí)，確定所述另一個(gè)缺陷警報(bào)也為誤報(bào)；

當(dāng)確定所述缺陷警報(bào)為真實(shí)時(shí)，確定所述另一個(gè)缺陷警報(bào)也為真實(shí)。