伴隨著不斷增長的軟件復(fù)雜性及其普適性,程序員需要開發(fā)出高質(zhì)量的軟件產(chǎn)品。然而,軟件開發(fā)人員在軟件開發(fā)過程中不可避免地引入軟件錯(cuò)誤（Fault/Bug）,從而可能導(dǎo)致軟件在運(yùn)行過程中產(chǎn)生失效（Failure）。定位與修復(fù)這些軟件錯(cuò)誤對(duì)于提高軟件質(zhì)量至關(guān)重要。在傳統(tǒng)的手工軟件錯(cuò)誤定位過程中,軟件開發(fā)人員需要充分理解程序的功能、語義、結(jié)構(gòu)、實(shí)現(xiàn)以及相關(guān)失效的表征,定位效果大多依據(jù)開發(fā)人員的經(jīng)驗(yàn)、直覺與運(yùn)氣。因此,受諸多因素影響,手工的軟件錯(cuò)誤定位困難、耗時(shí),且代價(jià)昂貴。輕量級(jí)軟件錯(cuò)誤定位方法是一種自動(dòng)化軟件錯(cuò)誤定位方法,主要是指利用軟件測試過程中收集的程序?qū)嶓w覆蓋信息以及測試結(jié)果實(shí)施錯(cuò)誤定位的一類方法。該類方法通常不需要收集復(fù)雜程序語義信息,其定位代價(jià)小、擴(kuò)展性好,是學(xué)術(shù)界研究的熱點(diǎn)。然而,該類方法的定位準(zhǔn)確性與結(jié)果的可理解性是影響該類方法現(xiàn)實(shí)可用的關(guān)鍵。本文主要圍繞輕量級(jí)軟件錯(cuò)誤定位中的定位準(zhǔn)確性和可理解性等問題,采用輕量級(jí)的方法予以解決。結(jié)合輕量級(jí)故障上下文信息,如故障觸發(fā)上下文、程序頻譜中故障執(zhí)行上下文以進(jìn)一步提高輕量級(jí)軟件錯(cuò)誤定位結(jié)果的準(zhǔn)確性;通過構(gòu)建兩階段錯(cuò)誤定位,以及反映故障傳播... 

【文章來源】：南京航空航天大學(xué)江蘇省 211工程院校

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

【學(xué)位級(jí)別】：博士

【部分圖文】：

語句覆蓋矩陣和測試結(jié)果向量定義2.9控制流圖：控制流圖CFG(N,E)，其中，N表示節(jié)點(diǎn)集合，節(jié)點(diǎn)對(duì)應(yīng)程序?qū)?br>

圖 2.7 實(shí)例源程序及其 CFG為邏輯產(chǎn)品，可以將軟件定義為一個(gè)邏輯模型。邏輯測試主要是針對(duì)邏輯試。對(duì)于簡單謂詞測試覆蓋準(zhǔn)則，需要測試該謂詞其取值為 True 與 Flase下，簡單謂詞測試準(zhǔn)則等價(jià)于圖覆蓋的邊覆蓋準(zhǔn)則。然而，對(duì)于邏輯復(fù)雜的的準(zhǔn)則進(jìn)行復(fù)雜謂詞測試，如子句覆蓋、MC/DC 覆蓋準(zhǔn)則等[88]。在這準(zhǔn)則中，不但要求程序中的謂詞具有可達(dá)性（R），而且要以某種特定的詞的結(jié)果。也就是說，謂詞測試中以相應(yīng)的部分必須被感染（I）到。然究表明[90]：源代碼中 88.5%的謂詞是單子句謂詞，9.5%的謂詞包含兩個(gè)詞包含三個(gè)子句，僅僅 0.65%的謂詞包含四個(gè)及以上的子句。當(dāng)一個(gè)謂詞定覆蓋與條件覆蓋是等價(jià)的。只有在安全關(guān)鍵軟件（Safety-critical softwa多子句組合的謂詞，對(duì)于該類謂詞測試依然是一大挑戰(zhàn)。級(jí)軟件錯(cuò)誤定位框架描述

基于故障上下文的輕量級(jí)軟件錯(cuò)誤定位方法研究CASE 1 和 CASE 2 都可以看作 RIPR - 模式，CASE 4 可以看作 RIPR - 模式。對(duì)于 C以將其劃分為兩組：一組屬于 RIPR - ，另一組屬于 RIPR - 。因此， RIPR - 可以錯(cuò)誤程序?qū)嶓w存在于所有的失敗程序譜中； RIPR - 可以定義為錯(cuò)誤程序?qū)嶓w存在敗的程序?qū)嶓w中。因此，如果程序員知道特定包含錯(cuò)誤的程序?qū)儆谀囊环N故障觸發(fā)以縮小錯(cuò)誤程序?qū)嶓w的搜尋范圍，其可以用于進(jìn)一步精煉錯(cuò)誤程序?qū)嶓w的排名列表

【參考文獻(xiàn)】：
期刊論文
[1]基于條件概率模型的缺陷定位方法[J]. 舒挺,黃明獻(xiàn),丁佐華,王磊,夏勁松.  軟件學(xué)報(bào). 2018(06)
[2]基于混雜偏倚消除的謂詞統(tǒng)計(jì)錯(cuò)誤定位方法[J]. 王興亞,姜淑娟,鞠小林,曹鶴玲.  計(jì)算機(jī)學(xué)報(bào). 2017(12)
[3]基于切片譜的錯(cuò)誤定位框架影響因素分析[J]. 鞠小林,姜淑娟,陳翔,張艷梅,邵浩然.  計(jì)算機(jī)研究與發(fā)展. 2014(12)
[4]基于程序頻譜的動(dòng)態(tài)缺陷定位方法研究[J]. 陳翔,鞠小林,文萬志,顧慶.  軟件學(xué)報(bào). 2015(02)
[5]結(jié)合用例約簡與聯(lián)合依賴概率建模的錯(cuò)誤定位[J]. 蘇小紅,龔丹丹,王甜甜,馬培軍.  軟件學(xué)報(bào). 2014(07)
[6]基于錯(cuò)誤交互集的組合測試軟件故障定位方法[J]. 王建峰,魏長安,盛云龍,姜守達(dá).  電子學(xué)報(bào). 2014(06)
[7]自動(dòng)化軟件錯(cuò)誤定位技術(shù)研究進(jìn)展[J]. 虞凱,林夢香.  計(jì)算機(jī)學(xué)報(bào). 2011(08)



本文編號(hào)：3067394