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

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

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

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

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

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

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

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

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

5 季曉慧;張健;;約束問(wèn)題求解[J];自動(dòng)化學(xué)報(bào);2007年02期

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

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

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

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

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

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

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

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

本文編號(hào)：2866145