靜態(tài)缺陷檢測技術(shù)因利用各種靜態(tài)分析方法來發(fā)現(xiàn)程序中的潛在缺陷而深受用戶青睞。但缺陷檢測結(jié)果往往存在大量的漏報和誤報,這需要用戶投入大量的時間和精力進行人工確認。降低缺陷檢測結(jié)果的誤報率以及提高人工確認的效率是提升靜態(tài)缺陷檢測技術(shù)的實用性的兩個有效途徑。本文在對缺陷檢測結(jié)果進行大量分析的基礎(chǔ)上,提出了一種基于缺陷檢測系統(tǒng)的警報自動聚類方法。本文首先根據(jù)警報相關(guān)特性以及變量的數(shù)據(jù)來源提出了警報間等價、主宰、相似和支配這四種關(guān)系。然后具體分析了每種關(guān)系的性質(zhì)和產(chǎn)生原因,給出了相應(yīng)的判定策略。最后基于缺陷檢測系統(tǒng),利用變量的定值函數(shù),給出了警報自動聚類的相關(guān)算法。本文所述的警報自動聚類方法已在缺陷檢測系統(tǒng)DTS中實現(xiàn)�；诰瘓缶垲惤Y(jié)果,如果一個警報被確認是誤報(或真實故障),那么與之存在等價關(guān)系的警報也一定是誤報(或真實故障),與之存在相似關(guān)系的警報則有極大可能也是誤報(或真實故障),這在一定程度上減少了警報確認數(shù)量。通過對5個開源工程的檢測結(jié)果進行分析,該方法可以提高約60%的人工確認效率,為靜態(tài)缺陷檢測工具檢測大規(guī)模的軟件提供了有力支持。
【學位單位】：北京郵電大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：TP311.53;TP311.13
【部分圖文】：

一個等價類可以生成一棵主宰關(guān)系樹，基于主宰關(guān)系的傳遞性可知主宰關(guān)系??樹中的根節(jié)點是這個等價類的主宰警報。??基于以上定義和分析，圖３－１描述了一個警報集合中等價類和主宰類的關(guān)系。??在一個警報集合中，具有等價關(guān)系的警報組成等價類（圖中￡３１和ＥＳ２），每個??等價類可以生成一棵主宰關(guān)系樹（實線表示過程內(nèi)主宰，虛線表示過程間主宰），??其中樹的根節(jié)點是其所在等價類的主宰警報，所有的主宰警報構(gòu)成了主宰類。??警報集合??（Ｓ＾｜）??圖３－１等價類和主宰類??３．３．３判定策略??通過上小節(jié)可以知道，如果兩個警報存在主宰關(guān)系那么它們一定存在等價關(guān)??系。但是并不是所有具有等價關(guān)系的警報都具有主宰關(guān)系，比如在代碼３－５中，??警報ＩＰ９、ＩＰ１０和ＩＰ１１的相關(guān)變量均來自于ｍｙ＿ｓｔｒｓｅｐ函數(shù)的返回值，因此存在??等價類ＥＳ＝｛ＩＰ９．?ＩＰ］０．?Ｐ１１丨。其中ＩＰ９和Ｐ１０的觸發(fā)語句均在ｎｏｔｉｆｙｌ函數(shù)中（分??別在第７行和第９行），分析代碼可以發(fā)現(xiàn)這兩個語句屬于條件語句中的真假分??支

４．１自動聚類系統(tǒng)架構(gòu)設(shè)計??本文是基于ＤＴＳ缺陷檢測系統(tǒng)做警報自動聚類相關(guān)研宄，因此本文在ＤＴＳ??原來的檢測流程上，增加警報自動聚類模塊。如下圖４－１所示，實線框為ＤＴＳ??原有模塊，虛線框為新增的警報自動聚類模塊。??語法樹生成???｝?［??載入需檢測的缺陷??符號表生成?｜?＼?｜?模式類型???±??：??ｉ???控制流：圖生成｜?：收集待檢測的源文?．．．???Ｘ??！?｜?件??定義－使＾?鏈分析?：?＾?１?．．．．．???＾預(yù)分析：得到文件?／?報類＾」???＊?１?；?分析次序?＾?１一?＾??丨函＿用丨關(guān)系分析｜?：＇?１?Ｊ?；?廠‘等ｉ－丨???Ｊ正式分析：為每個?１?丨??逆序進行區(qū)Ｉ司分析?ｊ文件創(chuàng)建分析線程；?「４３主＾＂―Ｉ???ｉ???丄—?；??生成變量符號化定?丨個?Ｉ?？?ｒ?＾?１??ｆｉ?ｌｉｔ?：丨警報自動聚類卜＇?匕」十＿？相關(guān)??Ｊ＂?＾?丨?１?＾?１?＼?ｒ??ｉ??缺陷狀態(tài)機自動檢?丨｜結(jié)果寫入數(shù)據(jù)庫并?匕」十＿？苧酉＾？一」??測??／?｜?統(tǒng)計??圖４－１?ＤＴＳ檢測流程??ＤＴＳ整體１：作流程主要分為五部分：（１）輸入待測試的源文件，并根據(jù)缺??陷模式配置信總載入需檢測的缺陷模式類型；（２）對源代碼進行預(yù)處理，首先利??用ＪａｖａＣＣｌ３４〗生成源代碼的抽象語法樹（ＡＳＴ），然后基于ＡＳＴ生成符號表（ＳＴ）??和函數(shù)的控制流圖（ＣＦＧ），接著基于控制流圖生成變量的定義－使用鏈，之后生??成程序的全局函數(shù)調(diào)用關(guān)系圖，再基于ＡＳＴ、ＳＴ和Ｃ

其中ＤＢＥｑｕａｌ表示警報屬于哪個等價類，ＤＢＤｏｍｉｎａｎｔ表示警報是哪個等價類的??主宰警報，ＤＢＳｉｍｉｌａｒ表不警報的相似類，ＤＢＣｏｎｃｏｎｔｒｏｌ表不警報的支配類。結(jié)??構(gòu)類圖如圖４－３所示。????＾?ｓｃ－ｆｆｔｅｓｔ－ｓｃｖｐ．ｃ．ＳＣＷＳｔｒｌｎｇ???〇?邊論―＾?ｉｐＯｅ＾ｔｉｓｔ＾Ｓ＾??〇?＆?ｓｔｍｃｔｕｒｅｉＳ＃ｉｎｇ??＝ａｉａｊ－ｍＦｅａｉｕｒｅ；?ＡｌａｒｆｆｓＦｅａｔｕｒｅ?ａ?ｃｏｎｓｔａｎｔｓ：?〇５ｔ＜Ｓ＾ｍｇ＞??Ｑ?Ｄｆ￡ｑ？ａｉｊ?Ｓｔ？？５ｇ?ｓ?ｃＲｒｃｓｒ?ｌｉｓ＾?Ｓｔｒｉｎｇｓ??ｓ?ＤＳＤｏｍｆｅａｎｔ；?Ｓｗｆｅｇｆ?ｓ?Ｐ〇ｓ＊６ｇｆ？??＾?ＤＳＳｉｍｊｂｒ：?ａ?ｙａ；ｊ－；?Ｓｔｒｉ＾??ｓ?ｄｉＣｃＭｒｏｉ；?Ｉ??〇?ｓｓｍｉｌａｒＶｌＩｌｔｅｄｌｉ?ｂｏｏｌｅａｎ?人??ａ?ｂｏｏｌｅａｎ??＼ｆ???ａ?ＳｉｍｆｅｒＩ＾ｌｕ＾〇ｆ＾ｉａｒｎｖＨａｓｈＳｅｆ＜Ｓｔｎｒｓ９＞?？論ｅ—ｓｃｖ＾ＤＳＣＶＩ＾ａＭ—＂??＾?ｃｂｉｔ＾ｒＶｉｓｔｅｄ；?ｂｏｏｌｅａｎ?—；?：?：???????—?????：?；???；?—?＊?ｌ＾ｙｅｒ：?ｍｔ??＃?ｃｒｅｓｔ＾ＡｌａｒｒｒｉＦｅａｔｕｒｅＣｄｅｆｅｃｔＳｅ＾Ｍｅｐ：?Ｍ３＾＜Ｓｔｒｉｒ�。�
【參考文獻】

相關(guān)期刊論文 前6條

1 金大海;宮云戰(zhàn);王雅文;黃俊飛;;軟件代碼測試技術(shù)[J];信息通信技術(shù);2015年03期

2 何清;李寧;羅文娟;史忠植;;大數(shù)據(jù)下的機器學習算法綜述[J];模式識別與人工智能;2014年04期

3 張大林;金大海;宮云戰(zhàn);王前;董玉坤;張海龍;;基于缺陷關(guān)聯(lián)的靜態(tài)分析優(yōu)化[J];軟件學報;2014年02期

4 李鵬;趙逢禹;;軟件缺陷關(guān)聯(lián)分析與缺陷排除研究[J];計算機科學;2013年10期

5 季曉慧;張健;;約束問題求解[J];自動化學報;2007年02期

6 景濤,江昌海,胡德斌,白成剛,蔡開元;軟件關(guān)聯(lián)缺陷的一種檢測方法[J];軟件學報;2005年01期

相關(guān)博士學位論文 前4條

1 張大林;靜態(tài)缺陷檢測優(yōu)化若干關(guān)鍵技術(shù)研究[D];北京郵電大學;2014年

2 朱明敏;貝葉斯網(wǎng)絡(luò)結(jié)構(gòu)學習與推理研究[D];西安電子科技大學;2013年

3 趙云山;基于符號分析的靜態(tài)缺陷檢測技術(shù)研究[D];北京郵電大學;2012年

4 王雅文;基于缺陷模式的軟件測試技術(shù)研究[D];北京郵電大學;2009年

相關(guān)碩士學位論文 前1條

1 李蕊彤;基于數(shù)據(jù)流分析的缺陷關(guān)聯(lián)研究[D];北京郵電大學;2014年

本文編號：2866145