基于謂詞頻率統(tǒng)計(jì)的軟件故障定位方法
【專(zhuān)利摘要】本發(fā)明公開(kāi)了一種基于謂詞頻率統(tǒng)計(jì)的軟件故障定位方法，用于解決現(xiàn)有軟件故障定位方法定位精度低的技術(shù)問(wèn)題。技術(shù)方案是采用化整為零的方法，將所求面積分成N塊，對(duì)每一塊求值，最后將所有的N個(gè)子塊的面積求和，即求得要求的總區(qū)間[0,1.0]上的總面積，也就是反映謂詞和錯(cuò)誤相關(guān)性的度量值。在一定范圍內(nèi)，N的值越高，計(jì)算的就越精確。本發(fā)明在將故障定位粒度細(xì)化至謂詞級(jí)別的基礎(chǔ)上，采用了基于非參數(shù)模型的統(tǒng)計(jì)方法，不需要被統(tǒng)計(jì)量符合某種已知分布模型，排除由于被統(tǒng)計(jì)數(shù)據(jù)的隨機(jī)性對(duì)算法穩(wěn)定性帶來(lái)的影響，可以提高定位精度。
【專(zhuān)利說(shuō)明】基于謂詞頻率統(tǒng)計(jì)的軟件故障定位方法

【技術(shù)領(lǐng)域】
[0001] 本發(fā)明設(shè)及一種軟件故障定位方法，特別是設(shè)及一種基于謂詞頻率統(tǒng)計(jì)的軟件故 障定位方法（簡(jiǎn)稱(chēng)FDI)。

【背景技術(shù)】
[0002] 軟件故障定位是軟件測(cè)試實(shí)踐中最重要的活動(dòng)之一。目前，利用人工方式通過(guò)調(diào) 試器進(jìn)行故障定位仍然占據(jù)主導(dǎo)地位，故障定位能力常常依賴(lài)于人員的知識(shí)和經(jīng)驗(yàn)，調(diào)試 效率低，調(diào)試支持工具相對(duì)較弱，對(duì)程序員要求高。因此，無(wú)論在軟件開(kāi)發(fā)階段還是軟件投 入使用W后，研究軟件調(diào)試和故障定位的自動(dòng)化技術(shù)越來(lái)越成為一個(gè)有重要價(jià)值的研究課 題。
[0003] 國(guó)內(nèi)外專(zhuān)家針對(duì)故障自動(dòng)定位理論、方法已展開(kāi)探索，在指出故障發(fā)生范圍和修 復(fù)數(shù)據(jù)結(jié)構(gòu)、內(nèi)存W及特定類(lèi)型故障方面，取得了一定的成績(jī)。自2002年W來(lái)，自動(dòng)化錯(cuò)誤 定位技術(shù)逐漸成為軟件工程界的研究熱點(diǎn)。W下表1-1中簡(jiǎn)要地列舉出了部分典型的錯(cuò)誤 定位技術(shù)W及相關(guān)的研究機(jī)構(gòu)和論文發(fā)表期刊或會(huì)議。
[0004] 表1-1故障定位算法
[0005]

【權(quán)利要求】
1. 一種基于謂詞頻率統(tǒng)計(jì)的軟件故障定位方法，其特征在于包括以下步驟： 對(duì)某程序一次運(yùn)行中某一個(gè)謂詞P多次賦值的記錄采用真值率來(lái)描述； ① 在程序的一次運(yùn)行中，假設(shè)謂詞P被記錄為真的次數(shù)為nt，被記錄為假的次數(shù)為nf， 那么稱(chēng)：
為謂詞P在這次執(zhí)行中的真值頻率； 由極大似然法知，在樣本足夠多的情況下，P的真值頻率無(wú)限接近P取值為真的概率， 因此(P)在一定程度上反映了謂詞P在一次取值中為真的概率； ② 假設(shè)對(duì)于一個(gè)程序，所有的測(cè)試用例集合為T(mén)，Tf表示失敗的測(cè)試用例集合，Tp表示 成功的測(cè)試用例集合，那么f(X| 0P)和f(X| 0f)分別表示TjPT5的真值率的概率密度函 數(shù)； 設(shè)f(X| 0P)和f(X| 0f)分別表示謂詞P在成功的運(yùn)行集合與失敗的運(yùn)行集合中的真 值率的概率密度函數(shù)； 采用f(X| 0 p)和f(X| 0f)兩者相差的部分的面積：
作為衡量二者差異的關(guān)鍵值； 采取了化整為零、分段計(jì)算的方式代替直接求表達(dá)式的方式： 假設(shè)在總共X次的程序執(zhí)行中，謂詞P得到了Y個(gè)真值率記錄，有X> =Y; 謂詞P的真值率(P)的取值范圍為閉區(qū)間[〇, 1.0]，將該區(qū)間化整為零，分成N段單獨(dú)處理：取N= 10000,得到[0, 0? 0001)，[0? 0001，0? 0002)，[0? 0002, 0? 0003)， [0. 0003, 0. 004).....[0. 9999, 1. 0]這10000個(gè)子區(qū)間；假設(shè)對(duì)于每個(gè)子區(qū)間[a,b] (0〈= a〈b〈 = 1)上，在成功運(yùn)行和失敗運(yùn)行的樣本中，Ji(P)落在該區(qū)間范圍內(nèi)的樣本數(shù)分別為ZjPZf，那么該區(qū)間的分布密度就分別等于公式（3):

【文檔編號(hào)】G06F17/30GK104503908SQ201410787115
【公開(kāi)日】2015年4月8日 申請(qǐng)日期:2014年12月17日 優(yōu)先權(quán)日:2014年12月17日
【發(fā)明者】鄭煒, 李知隆, 陰一溦, 柏晗, 吳瀟雪 申請(qǐng)人:西北工業(yè)大學(xué)