• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    基于信息流的關(guān)鍵軟件缺陷定位技術(shù)

    2016-10-19 09:24:13周東紅
    載人航天 2016年5期
    關(guān)鍵詞:信息流結(jié)點(diǎn)語(yǔ)句

    周東紅,石 柱,王 瑞,李 沫

    (中國(guó)航天系統(tǒng)科學(xué)與工程研究院,北京100048)

    基于信息流的關(guān)鍵軟件缺陷定位技術(shù)

    周東紅,石 柱,王 瑞,李 沫

    (中國(guó)航天系統(tǒng)科學(xué)與工程研究院,北京100048)

    針對(duì)軟件因涉及多程序要素間相互作用而來(lái)的復(fù)雜缺陷,研究了基于信息流的關(guān)鍵軟件缺陷定位技術(shù),對(duì)現(xiàn)有的信息流進(jìn)行了擴(kuò)展,并對(duì)經(jīng)典方法的可疑度度量公式進(jìn)行了改進(jìn),而且將其融入了相關(guān)算法;并進(jìn)行了與語(yǔ)句覆蓋、分支覆蓋和定義使用對(duì)覆蓋等缺陷定位技術(shù)的對(duì)比試驗(yàn),結(jié)果表明:此方法比基于語(yǔ)句覆蓋、分支覆蓋和定義使用對(duì)覆蓋的方法更可靠、更精確,能高效率地定位軟件中的缺陷。

    軟件測(cè)試;復(fù)雜缺陷;信息流覆蓋;語(yǔ)句覆蓋;分支覆蓋;定義使用對(duì)覆蓋

    1 引言

    由于軟件的原因而導(dǎo)致的航空航天事故很多,其中由于軟件中存在整數(shù)溢出的缺陷而導(dǎo)致的事故,就有歐洲Ariane5火箭在發(fā)射時(shí)爆炸和Comair航空公司機(jī)組調(diào)度軟件崩潰等[1]。

    據(jù)統(tǒng)計(jì),在軟件研發(fā)和后期維護(hù)的成本中,軟件測(cè)試占到了50%~75%[2]。其中在測(cè)試中發(fā)現(xiàn)軟件缺陷,對(duì)缺陷進(jìn)行檢測(cè)定位和修正的調(diào)試過(guò)程是最困難且成本最高的步驟之一。傳統(tǒng)的測(cè)試工作一般由軟件測(cè)試人員手動(dòng)完成,耗時(shí)耗力。

    本文研究了基于信息流覆蓋的缺陷定位技術(shù),并基于該技術(shù)設(shè)計(jì)了一個(gè)缺陷定位的原型工具,通過(guò)該工具能快速地找到軟件的缺陷,有效提高缺陷定位的效率。

    2 基于動(dòng)態(tài)信息流覆蓋的缺陷定位技術(shù)

    本文中所使用的算法,是動(dòng)態(tài)信息流分析的前向計(jì)算(forward computing)算法[3],本章介紹了該算法的一些基本定義和擴(kuò)展研究,并說(shuō)明了如何基于該方法進(jìn)行缺陷定位。

    2.1 動(dòng)態(tài)信息流

    2.1.1 動(dòng)態(tài)控制依賴

    假設(shè)活動(dòng)表示一個(gè)可執(zhí)行語(yǔ)句(或基本塊),則執(zhí)行路徑就是活動(dòng)的一個(gè)序列。路徑T上的第k個(gè)活動(dòng)表示為T(mén)(k)或sk(s為對(duì)應(yīng)的語(yǔ)句或基本塊)?!芭袛嗷顒?dòng)”是指語(yǔ)句s是分支判斷語(yǔ)句的活動(dòng)sk。子路徑T(k,m)表示的是一條從活動(dòng)T(k)開(kāi)始到活動(dòng)T(m)結(jié)束的子序列[1]。動(dòng)態(tài)控制依賴關(guān)系的形式化定義如下[3]:

    定義1:假設(shè)sk和tm是執(zhí)行路徑T上的兩個(gè)活動(dòng)(k<m且sk是判斷活動(dòng)),當(dāng)且僅當(dāng)子路徑T(k,m)證明了t直接控制依賴于s(t DCD s)時(shí)[4],活動(dòng)tm直接動(dòng)態(tài)控制依賴于活動(dòng)sk,表示為tmDDynCDsk?;顒?dòng)tm直接動(dòng)態(tài)控制依賴的判斷活動(dòng)如果存在,則它是唯一,表示為DDynCD(tm)。

    其中DCD的含義為語(yǔ)句能通過(guò)它的控制分支決定是否執(zhí)行語(yǔ)句。直觀來(lái)看,DDynCD(tm)就是先于活動(dòng)tm最后出現(xiàn)的判斷活動(dòng)。

    2.1.2 動(dòng)態(tài)數(shù)據(jù)依賴

    建?;顒?dòng)之間的動(dòng)態(tài)數(shù)據(jù)依賴時(shí),需要將下面兩個(gè)集合與每個(gè)活動(dòng)聯(lián)系起來(lái)[5]:在活動(dòng)sk中定義(或賦值)的變量或?qū)ο蠹疍(sk),和在sk中使用(或引用)的變量或?qū)ο蠹疷(sk)。

    定義2:假設(shè)sk和tm是執(zhí)行路徑T上的兩個(gè)活動(dòng)(k<m)。當(dāng)且僅當(dāng)(D(sk)∩U(tm))-D(T(k+1,m-1))≠φ時(shí),活動(dòng)tm直接動(dòng)態(tài)數(shù)據(jù)依賴于活動(dòng)sk,表示為tmDDynDDsk[5]?;顒?dòng)tm直接動(dòng)態(tài)數(shù)據(jù)依賴的活動(dòng)集表示為DDynDD(tm)。

    直觀看來(lái),tmDDynDDsk表示的是tm使用(或引用)了最后由sk進(jìn)行定義(或賦值)的變量或?qū)ο蟆?.1.3 直接影響和影響

    另外,本文還引用了其他三種活動(dòng)間的動(dòng)態(tài)依賴關(guān)系[6]:

    1)函數(shù)使用了一個(gè)由return語(yǔ)句返回的值;

    2)函數(shù)使用了一個(gè)由形式化參數(shù)傳遞的值;

    3)函數(shù)的請(qǐng)求調(diào)用方法指令中存在控制依賴。

    對(duì)于兩個(gè)活動(dòng)sk和tm(k<m),當(dāng)且僅當(dāng)活動(dòng)tm在上述的5類(lèi)依賴關(guān)系中依賴于活動(dòng)sk時(shí),就認(rèn)為sk直接影響tm[7]。直接影響tm的活動(dòng)集表示為DInfluence(tm),簡(jiǎn)稱為DInf(tm)。

    “影響”關(guān)系則表示一個(gè)語(yǔ)句能影響到其他語(yǔ)句的執(zhí)行,包含直接和間接影響[1]。

    定義3:假設(shè)T為一條執(zhí)行路徑,sk和tm為T(mén)中的兩個(gè)活動(dòng)(k<m)。當(dāng)且僅當(dāng)在T中存在著活動(dòng)序列a1,a2,……,an,其中a1=sk,an= tm,并且對(duì)于i=1,……,n-1,都有aiDInfluenceai+1,則有sk“影響”tm,表示為skInfluence tm。影響tm的活動(dòng)集表示為Influence(tm),簡(jiǎn)稱為Inf(tm),計(jì)算公式如公式(1):

    2.1.4 動(dòng)態(tài)信息流分析

    動(dòng)態(tài)信息流分析是確定在活動(dòng)sk中影響了其他變量或?qū)ο蟮乃凶兞炕驅(qū)ο蟮募希?]。

    定義:設(shè)T為一條程序執(zhí)行路徑,sk和tm為T(mén)中的兩個(gè)活動(dòng)(k<m),設(shè)x和y是兩個(gè)變量:活動(dòng)sk定義了變量x并且活動(dòng)tm使用了變量y。當(dāng)且僅當(dāng)skInfluence tm時(shí),存在著從活動(dòng)sk中的變量x到活動(dòng)tm中的變量y的信息流,該信息流表示為(sk,x,tm,y)[9]。目標(biāo)為tm內(nèi)的y變量的信息流中包含的變量和對(duì)象集合如式(2):

    式中,U(tm)是活動(dòng)tm中使用了的變量或?qū)ο蟮募?,U(Inf(tm))則是影響tm的活動(dòng)中使用了的變量或?qū)ο蟮募稀?/p>

    信息流實(shí)例的表示方法為四元組(sk,x,tm,y),其中sk表示最后定義或使用了源對(duì)象x的活動(dòng),tm表示最后定義或使用了目標(biāo)對(duì)象y的活動(dòng)。

    2.1.5 信息流及其長(zhǎng)度

    信息流的長(zhǎng)度,定義為它包含的動(dòng)態(tài)數(shù)據(jù)依賴鏈和控制依賴鏈的長(zhǎng)度[10]。我們規(guī)定信息流長(zhǎng)度的計(jì)算規(guī)則如下:如果tm使用了對(duì)象x,則長(zhǎng)度為1;否則,長(zhǎng)度就是最短依賴鏈的長(zhǎng)度,而且信息通過(guò)該依賴鏈從對(duì)象x流入到對(duì)象y。這樣,通過(guò)綜合考慮信息流及其長(zhǎng)度就能區(qū)分兩個(gè)有著完全相同的源和目標(biāo)但長(zhǎng)度不同的信息流了。很明顯,通過(guò)這些信息還是不能區(qū)分兩個(gè)有完全相同的源、目標(biāo)和長(zhǎng)度的信息流。

    2.2 對(duì)動(dòng)態(tài)信息流的擴(kuò)展

    動(dòng)態(tài)信息流分析能夠識(shí)別程序運(yùn)行時(shí)程序?qū)ο笾g的信息流,但是現(xiàn)有的研究中,沒(méi)有考慮分支和定義使用對(duì),在源和目標(biāo)處的依賴關(guān)系是條件語(yǔ)句、返回語(yǔ)句和方法請(qǐng)求時(shí),不能捕獲該信息流。因此,需要對(duì)動(dòng)態(tài)信息流技術(shù)進(jìn)行擴(kuò)展,使其包含定義使用對(duì)和分支,從而可捕獲上述的依賴關(guān)系。標(biāo)準(zhǔn)的信息流格式為(sk,x,tm,y)[9],其中sk表示最后定義了源對(duì)象x的活動(dòng),tm表示最后定義了目標(biāo)對(duì)象y的活動(dòng)。而通過(guò)引入分支和定義使用對(duì),如果源或目標(biāo)為返回語(yǔ)句或條件判決語(yǔ)句時(shí),就用‘-'號(hào)作為對(duì)象名。如表1中就有擴(kuò)展的信息流(7,-,8,ch),這里第7條源代碼為條件判斷語(yǔ)句,所以其對(duì)象名應(yīng)為‘-'。

    2.3 語(yǔ)句可疑度度量標(biāo)準(zhǔn)

    信息流f可疑度的計(jì)算可采用式(3)[10]:

    式中,%P(f)運(yùn)行過(guò)程包含信息流f的成功測(cè)試用例個(gè)數(shù)與總的成功用例數(shù)的比值;%F(f)運(yùn)行過(guò)程包含信息流f的失敗測(cè)試用例個(gè)數(shù)與總的失敗用例數(shù)的比值。

    但是,僅僅根據(jù)這個(gè)公式進(jìn)行可疑度排序是不夠的。例如給定兩個(gè)信息流f1和f2,其中%F(f1)=0.1,%F(f2)=1.0,%P(f1)=%P(f2)=0。如果使用公式(3),會(huì)得到SF1(f1)= SF1(f2)=1.0。但是根據(jù)%F(f1)=0.1和% F(f2)=1.0,可以判斷出f2的可疑度高于f1。為解決這個(gè)問(wèn)題,本文引入了第二個(gè)度量值SF2=%F(f)。使用這個(gè)度量值,就能判斷出f2的可疑度高于f1。

    綜合考慮度量值SF1和SF2,基于信息流的缺陷覆蓋技術(shù)就可以使用式(4)所示的度量準(zhǔn)則:

    較高的SF(f)值意味著較高的可疑度排列。當(dāng)兩個(gè)信息流的SF值相同時(shí),規(guī)定較短的信息流可疑度較高。而程序語(yǔ)句的可疑度值就是包含該語(yǔ)句的全部信息流中SF值最大的信息流的可疑度值。最后根據(jù)程序語(yǔ)句的可疑度值降序排列所有程序語(yǔ)句。

    3 算法實(shí)現(xiàn)

    本章用圖1的案例演示如何實(shí)現(xiàn)該算法。該程序中出錯(cuò)的程序語(yǔ)句為S6,正常情況下,power[0]的值應(yīng)該為128,但是程序中會(huì)是-128。這樣當(dāng)輸入的8位二進(jìn)制數(shù)的最左邊一位為1時(shí),結(jié)果就會(huì)出錯(cuò)。

    3.1 動(dòng)態(tài)依賴關(guān)系實(shí)現(xiàn)算法

    計(jì)算直接動(dòng)態(tài)控制依賴關(guān)系(DDynCD)的算法如圖2所示,它計(jì)算動(dòng)態(tài)信息流,能同時(shí)應(yīng)用于結(jié)構(gòu)化的和非結(jié)構(gòu)化的程序中。該算法中用到的數(shù)據(jù)結(jié)構(gòu)是棧CDSTACK(m),該棧存儲(chǔ)影響范圍還沒(méi)有完全退出的判定活動(dòng)。當(dāng)執(zhí)行到了棧頂元素的ipd(s)時(shí),程序就認(rèn)為退出了判定活動(dòng)Sk的動(dòng)態(tài)領(lǐng)域,此時(shí)從棧CDSTACK(m)中彈出活動(dòng)Sk。

    圖1 示例程序代碼Fig.1 Code of the typical example program

    表1 示例程序的信息流覆蓋信息Table 1 Information flow coverage information of the example program

    算法主要分為四步:

    1)如果被訪問(wèn)的路徑結(jié)點(diǎn)為判斷結(jié)點(diǎn)時(shí),將該結(jié)點(diǎn)入棧CDSTACK(m);

    2)如果被訪問(wèn)的結(jié)點(diǎn)是棧頂元素的直接后控制結(jié)點(diǎn),則將該棧頂元素出棧CDSTACK(m);

    3)如果棧不為空,則當(dāng)前結(jié)點(diǎn)直接動(dòng)態(tài)控制依賴于棧CDSTACK(m)的棧頂元素;如果棧為空,則當(dāng)前結(jié)點(diǎn)直接動(dòng)態(tài)控制依賴的頂點(diǎn)為空;

    4)如果當(dāng)前訪問(wèn)結(jié)點(diǎn)的直接后控制結(jié)點(diǎn)與棧頂元素的直接后控制結(jié)點(diǎn)相同,則將棧頂?shù)呐袛嘟Y(jié)點(diǎn)出棧CDSTACK(m)(目的是為了限制棧的大?。?。

    按上述算法,可以得到圖1中的程序在執(zhí)行路徑T=<S1,S2,S3,S4,S5,S6,S5,S6,S5,S6,S5,……>的DDynCD關(guān)系,如表2所示,它與直接使用DDynCD關(guān)系的定義得到的結(jié)果相同。

    3.2 動(dòng)態(tài)依賴關(guān)系實(shí)現(xiàn)算法

    動(dòng)態(tài)信息流分析和動(dòng)態(tài)切片算法如圖3所示。算法在執(zhí)行程序時(shí)對(duì)每個(gè)活動(dòng)tm頻繁地使用公式(2),計(jì)算完成后存儲(chǔ)計(jì)算結(jié)果以便隨后使用。因?yàn)樵撍惴ㄊ乔跋蛩惴?,?dāng)輸入活動(dòng)為活動(dòng)tm時(shí),算法計(jì)算時(shí)所有需要使用的值應(yīng)該都已經(jīng)計(jì)算得到并且可用。

    在動(dòng)態(tài)信息流分析算法中,并集操作對(duì)算法性能有著很大的影響。假設(shè)程序中語(yǔ)句的數(shù)量為m、活動(dòng)對(duì)象的數(shù)量為n、用于實(shí)現(xiàn)并集的集合元運(yùn)算(如添加、包含等)需要單位時(shí)間成本。則在最壞的情況下,計(jì)算活動(dòng)tm的動(dòng)態(tài)信息流的時(shí)間復(fù)雜度為O(n2)(包含計(jì)算該活動(dòng)之前所需要的時(shí)間);此時(shí),信息流從每個(gè)對(duì)象流入到其他所有的對(duì)象、并且所有的活動(dòng)對(duì)象都對(duì)tm有直接影響。此時(shí)并集操作涉及n個(gè)子集,每個(gè)子集有n個(gè)對(duì)象。另外,最壞的情況下,計(jì)算活動(dòng)tm的動(dòng)態(tài)切片[6]的時(shí)間復(fù)雜度為O(n*m)(包含計(jì)算該活動(dòng)之前所需要的時(shí)間),此時(shí),所有n個(gè)活動(dòng)對(duì)象的每一個(gè)切片都包含m個(gè)程序語(yǔ)句、并且所有的活動(dòng)對(duì)象都對(duì)tm有直接影響。此時(shí)并集操作涉及n個(gè)子集,每個(gè)子集有m個(gè)對(duì)象。

    圖2 計(jì)算直接動(dòng)態(tài)控制依賴的算法Fig.2 DDynCD algorithm

    表2 控制流圖1中執(zhí)行路徑T對(duì)應(yīng)的DDynCD關(guān)系表Table 2 Relationship of trace T in CFG of Fig.1 with DDynCD

    圖3 動(dòng)態(tài)信息流分析和動(dòng)態(tài)切片算法Fig.3 InfoFlow algorithm and DynSlice algorithm

    對(duì)圖1所示的程序設(shè)計(jì)了6個(gè)測(cè)試用例,其輸入分別為T(mén)1=00000000、T2=00001111、T3= 01010101、T4=01101101、T5=11111111、T6= 10101010,其中前4個(gè)執(zhí)行通過(guò),T5和T6執(zhí)行失敗。通過(guò)使用圖3的算法對(duì)其分析,可得如表1所示的信息流覆蓋信息。表1中,信息流InF1=(6,powers[0],10,decimal),InF2=(6,powers[0],11,decimal),InF3=(6,powers[6],10,decimal),InF4=(6,powers[6],11,decimal),InF5=(6,powers[5],10,decimal),InF6=(6,powers[5],11,decimal),InF7=(8,ch,9,-),InF8=(10,decimal,11,-),InF9=(7,-,8,ch),InF10=(2,decimal,10,decimal),R*為可疑度值高于或等于出錯(cuò)語(yǔ)句可疑度值的語(yǔ)句數(shù)。

    4 試驗(yàn)評(píng)價(jià)

    4.1 試驗(yàn)概述

    本文選擇SIR的西門(mén)子測(cè)試套件的TCAS軟件作為被測(cè)對(duì)象,TCAS(Traffic Alert and Collision Avoidance System,交通警戒和避撞系統(tǒng))是一套被航空公司采用的飛機(jī)碰撞檢測(cè)和回避系統(tǒng)。

    4.2 試驗(yàn)數(shù)據(jù)

    對(duì)試驗(yàn)中使用的軟件進(jìn)行了修改,注入了5個(gè)缺陷,注入情況如表3所示。

    表3 TCAS軟件中注入的缺陷Table 3 The seeded defects in TCAS program

    表4 TCAS軟件的測(cè)試結(jié)果Table 4 The test results of TCAS program

    4.3 試驗(yàn)結(jié)果

    為了說(shuō)明方法的有效性,將結(jié)果與標(biāo)準(zhǔn)的語(yǔ)句覆蓋技術(shù)[11]、分支覆蓋技術(shù)和定義使用對(duì)覆蓋技術(shù)[12]得到的結(jié)果進(jìn)行對(duì)比。使用中共設(shè)計(jì)了172個(gè)測(cè)試用例。

    測(cè)試結(jié)果如表4所示,其中S*max為用相關(guān)方法計(jì)算所有語(yǔ)句的可疑度值中的最大值,S*為用相關(guān)方法計(jì)算得到的出錯(cuò)語(yǔ)句可疑度值,R*為可疑度值高于或等于出錯(cuò)語(yǔ)句可疑度值的語(yǔ)句數(shù),RS-*為用對(duì)應(yīng)的方法排查軟件缺陷時(shí)需要人工核查的程序語(yǔ)句數(shù)。

    從表4中的F2可以看到:

    1)172個(gè)測(cè)試用例中,有36個(gè)運(yùn)行失敗。

    2)出錯(cuò)語(yǔ)句的SS和SB值均為0.93,與最大值1.0都有些差距,這意味著一些正常的語(yǔ)句會(huì)比出錯(cuò)語(yǔ)句更可疑。另外,出錯(cuò)語(yǔ)句的SDU值為空,因?yàn)檫@里沒(méi)有定義使用對(duì)。但是該語(yǔ)句的SF和SFmax均為1.0。這證明了信息流覆蓋比其他的技術(shù)要更可靠。

    3)測(cè)試人員按排列順序核查到出錯(cuò)語(yǔ)句時(shí),使用語(yǔ)句覆蓋技術(shù)需要多檢查63條程序語(yǔ)句,使用分支覆蓋技術(shù)時(shí)是31條,使用信息流覆蓋技術(shù)時(shí)則為8條。使用定義使用對(duì)技術(shù)時(shí)更是需要檢查所有的程序語(yǔ)句。這一結(jié)果證明了信息流覆蓋技術(shù)要更加精確。

    試驗(yàn)結(jié)果表明,信息流覆蓋技術(shù)比語(yǔ)句覆蓋技術(shù)更可靠、更精確。在所有數(shù)據(jù)中,它的可靠性都高于其他三種技術(shù),雖然個(gè)別缺陷上它的精確性不如分支覆蓋或定義使用對(duì)覆蓋技術(shù),但是從平均數(shù)上看,它的精確性優(yōu)于其他三種技術(shù)。

    5 結(jié)論

    本文研究了基于信息流覆蓋的缺陷定位技術(shù),并基于該技術(shù)設(shè)計(jì)了一個(gè)缺陷定位的原型工具,通過(guò)該工具能快速地找到軟件的缺陷,提高缺陷定位的效率。通過(guò)試驗(yàn)證明了該方法比語(yǔ)句覆蓋、分支覆蓋和定義使用對(duì)覆蓋更有效。試驗(yàn)結(jié)果表明,在一些案例中信息流覆蓋的性能要優(yōu)于分支覆蓋和定義使用對(duì)覆蓋技術(shù),而且在所有的數(shù)據(jù)中其性能都要優(yōu)于語(yǔ)句覆蓋技術(shù);在可靠性方面,它在所有的數(shù)據(jù)中都要優(yōu)于其他三種技術(shù)。

    (References)

    [1]Masri W,Podgurski A.Algorithms and tool support for dynamic information flow analysis[J].Information and Software Technology,2009,51(2):386-404.

    [2]Hailpern B,Santhanam P.Software debugging,testing,and verification[J].IBM Systems Journal,2002,41(1):4-12.

    [3]Shchekotykhin K,F(xiàn)riedrich G,F(xiàn)leiss P,et al.Interactive ontology debugging:Two query strategies for efficient fault localization[J].Web Semantics:Science,Services and Agents on the World Wide Web,2012(12):88-103.

    [4]Sahoo S K,Criswell J,Geigle C,et al.Using likely invariants for automated software fault localization[J].ACM SIGARCH Computer Architecture News,2013,41(1):139-152.

    [5]Weiser M.Program slicing[C]//Proceedings of the 5th international conference on Software engineering.IEEE Press,1981:439-449.

    [6]Korel B,Laski J.Dynamic program slicing[J].Information Processing Letters,1988,29(3):155-163.

    [7]虞凱,林夢(mèng)香.自動(dòng)化軟件錯(cuò)誤定位技術(shù)研究進(jìn)展[J].計(jì)算機(jī)學(xué)報(bào),2011,34(8):1411-1422.YU Kai,LIN Mengxiang.Advances in automatic fault localization techniques[J].Chinese Journal of Computers,2011,34(8):1411-1422.(in Chinese)

    [8]Masri W.Fault localization based on information flow coverage[J].Software Testing,Verification and Reliability,2010,20(2):121-147.

    [9]Masri W,Podgurski A,Leon D.detecting and debugging insecure information flows[C]//Piscataway,NJ:IEEE Press.2004.198-209.

    [10]Masri W,Podgurski A,Leon D.An empirical study of test case filtering techniques based on exercising information flows[J].IEEE Transactions on Software Engineering,2007,33(7):454-477.

    [11]惠戰(zhàn)偉,黃松,嵇孟雨.基于程序特征譜整數(shù)溢出錯(cuò)誤定位技術(shù)研究[J].計(jì)算機(jī)學(xué)報(bào),2012,35(10):2204-2214.HUI Zhanwei,HUANG Song,JI Mengyu.Research on spectra-based integer bug localization[J].Chinese Journal of Computers,2012,35(10):2204-2214.(in Chinese)

    [12]Yu K,Lin M,Gao Q,et al.Locating faults using multiple spectra-specific models[C]//Proceedings of the 2011 ACM Symposium on Applied Computing.ACM,2011:1404-1410.

    The Critical Defect Localization Technique Based on Information Flow in Software

    ZHOU Donghong,SHI Zhu,WANG Rui,LI Mo
    (China Academy of Aerospace Systems Science and Engineering,Beijing 100048,China)

    The complex defects imposed by the interactions among many program elements in the software are difficult to exclude.To solve this problem,the critical software fault localization techniques based on information flow coverage were studied.The present information flow was extended and the suspicious metric formula of the classical methods was improved and incorporated into the related algorithm.Then comparative tests were conducted with the defect localization techniques including the statements coverage,branches coverage and define-use pair coverage methods.The experiment results showed that this method could efficiently locate the software defects and was more precise and reliable than the other methods.

    software test;complex defect;information flow coverage;statement coverage;branch coverage;define-use pair coverage

    TP311

    A

    1674-5825(2016)05-0635-06

    2015-06-30;

    2016-06-29

    周東紅(1981-),男,碩士,工程師,研究方向?yàn)檐浖こ誊浖毕荻ㄎ?。E-mail:19781970@qq.com

    猜你喜歡
    信息流結(jié)點(diǎn)語(yǔ)句
    基于信息流的作戰(zhàn)體系網(wǎng)絡(luò)效能仿真與優(yōu)化
    重點(diǎn):語(yǔ)句銜接
    基于信息流的RBC系統(tǒng)外部通信網(wǎng)絡(luò)故障分析
    戰(zhàn)區(qū)聯(lián)合作戰(zhàn)指揮信息流評(píng)價(jià)模型
    Ladyzhenskaya流體力學(xué)方程組的確定模與確定結(jié)點(diǎn)個(gè)數(shù)估計(jì)
    精彩語(yǔ)句
    基于任務(wù)空間的體系作戰(zhàn)信息流圖構(gòu)建方法
    如何搞定語(yǔ)句銜接題
    基于Raspberry PI為結(jié)點(diǎn)的天氣云測(cè)量網(wǎng)絡(luò)實(shí)現(xiàn)
    基于DHT全分布式P2P-SIP網(wǎng)絡(luò)電話穩(wěn)定性研究與設(shè)計(jì)
    国产av在哪里看| av女优亚洲男人天堂| 热99re8久久精品国产| 又爽又黄a免费视频| 国产精品不卡视频一区二区| 国产精品乱码一区二三区的特点| 久久亚洲国产成人精品v| 亚洲第一区二区三区不卡| 婷婷六月久久综合丁香| 欧美激情在线99| 成年免费大片在线观看| 国产成人午夜福利电影在线观看| 在线观看av片永久免费下载| www.av在线官网国产| 久久久欧美国产精品| 少妇的逼水好多| 亚洲成色77777| 91av网一区二区| 听说在线观看完整版免费高清| 国产淫片久久久久久久久| 欧美成人免费av一区二区三区| 日韩成人伦理影院| 亚洲欧美日韩无卡精品| 校园人妻丝袜中文字幕| 久久久久久久国产电影| 一个人看的www免费观看视频| 欧美日韩在线观看h| 国产精品爽爽va在线观看网站| 日韩亚洲欧美综合| 亚洲av中文字字幕乱码综合| 国产精品综合久久久久久久免费| 少妇的逼好多水| 99久国产av精品国产电影| 亚洲国产精品国产精品| 成人高潮视频无遮挡免费网站| 亚洲乱码一区二区免费版| 精品久久久久久久久av| 国产片特级美女逼逼视频| 最近最新中文字幕大全电影3| 免费无遮挡裸体视频| www日本黄色视频网| 在线观看美女被高潮喷水网站| 中文字幕精品亚洲无线码一区| 精品国内亚洲2022精品成人| 亚洲精品久久久久久婷婷小说 | 免费看日本二区| 久久亚洲国产成人精品v| 亚洲精品久久久久久婷婷小说 | 国产成人a区在线观看| 高清午夜精品一区二区三区| 高清av免费在线| 国产精品嫩草影院av在线观看| 国产色爽女视频免费观看| 成人亚洲欧美一区二区av| 久久亚洲精品不卡| 亚洲va在线va天堂va国产| 亚洲国产精品久久男人天堂| 亚洲欧美精品自产自拍| 亚洲国产欧美在线一区| 亚洲人与动物交配视频| 欧美日韩国产亚洲二区| 男人舔女人下体高潮全视频| 日韩高清综合在线| 国产精品电影一区二区三区| 欧美精品一区二区大全| 男女国产视频网站| 亚洲欧美精品综合久久99| 日日摸夜夜添夜夜添av毛片| 久久精品国产自在天天线| 欧美激情在线99| 高清毛片免费看| 亚洲成色77777| 九九久久精品国产亚洲av麻豆| 色播亚洲综合网| av线在线观看网站| 高清午夜精品一区二区三区| 亚洲av免费在线观看| 日本一二三区视频观看| 99热精品在线国产| 日韩欧美精品v在线| 欧美性猛交╳xxx乱大交人| 国产乱来视频区| 久久久久免费精品人妻一区二区| 国产不卡一卡二| av卡一久久| 久久精品国产亚洲av天美| 黄色日韩在线| 高清日韩中文字幕在线| 国产人妻一区二区三区在| 看黄色毛片网站| 国产极品天堂在线| 亚洲aⅴ乱码一区二区在线播放| 欧美另类亚洲清纯唯美| 亚洲国产高清在线一区二区三| 免费不卡的大黄色大毛片视频在线观看 | 亚洲18禁久久av| 国产亚洲av嫩草精品影院| 免费观看精品视频网站| 91aial.com中文字幕在线观看| 91在线精品国自产拍蜜月| 精品99又大又爽又粗少妇毛片| 内射极品少妇av片p| 中文亚洲av片在线观看爽| 亚洲精品乱码久久久久久按摩| 天堂√8在线中文| 国产人妻一区二区三区在| 波多野结衣巨乳人妻| 欧美一区二区精品小视频在线| www日本黄色视频网| 免费电影在线观看免费观看| 嫩草影院新地址| 精品99又大又爽又粗少妇毛片| 亚洲成色77777| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 国产一区有黄有色的免费视频 | 欧美日韩精品成人综合77777| 日本免费a在线| 97热精品久久久久久| 高清在线视频一区二区三区 | 最新中文字幕久久久久| 大香蕉97超碰在线| 国产伦理片在线播放av一区| 美女国产视频在线观看| 中文字幕精品亚洲无线码一区| 国产伦一二天堂av在线观看| 亚洲伊人久久精品综合 | 国产白丝娇喘喷水9色精品| 亚洲国产精品专区欧美| 国产麻豆成人av免费视频| 久久亚洲国产成人精品v| 精品久久久久久久久亚洲| 亚洲高清免费不卡视频| 国产成人a区在线观看| 日韩一本色道免费dvd| 国产亚洲最大av| 韩国av在线不卡| 国产高清三级在线| 国产午夜福利久久久久久| 搞女人的毛片| 国产一区亚洲一区在线观看| av女优亚洲男人天堂| 日日摸夜夜添夜夜添av毛片| 国产精品一及| 成年免费大片在线观看| 高清午夜精品一区二区三区| 国产视频首页在线观看| 99热这里只有精品一区| 在线观看av片永久免费下载| 中国国产av一级| 中文乱码字字幕精品一区二区三区 | 亚洲欧美一区二区三区国产| 大又大粗又爽又黄少妇毛片口| 亚洲中文字幕一区二区三区有码在线看| 美女黄网站色视频| 国产亚洲精品久久久com| 丝袜喷水一区| 在线观看66精品国产| 久久精品国产自在天天线| 91久久精品国产一区二区三区| 欧美色视频一区免费| 久久久a久久爽久久v久久| 亚洲中文字幕日韩| 免费不卡的大黄色大毛片视频在线观看 | 人妻夜夜爽99麻豆av| 丰满乱子伦码专区| 国产 一区 欧美 日韩| 欧美精品一区二区大全| 中文字幕熟女人妻在线| 又爽又黄a免费视频| 国产乱人视频| av在线播放精品| 老女人水多毛片| 午夜福利高清视频| 精品久久久久久久末码| 天堂av国产一区二区熟女人妻| av免费观看日本| 久久国内精品自在自线图片| 国产精品99久久久久久久久| 亚洲精品色激情综合| 99热这里只有是精品在线观看| 网址你懂的国产日韩在线| 久久人人爽人人爽人人片va| 18禁动态无遮挡网站| 熟女电影av网| 精品免费久久久久久久清纯| 亚洲丝袜综合中文字幕| 国产精品av视频在线免费观看| 99久国产av精品国产电影| 国产成人一区二区在线| 国产成年人精品一区二区| 一级黄片播放器| 网址你懂的国产日韩在线| 亚洲内射少妇av| 极品教师在线视频| 久久热精品热| 春色校园在线视频观看| 国产精品99久久久久久久久| 男女边吃奶边做爰视频| 中文字幕人妻熟人妻熟丝袜美| 天天躁夜夜躁狠狠久久av| 日日摸夜夜添夜夜爱| 国产日韩欧美在线精品| 欧美bdsm另类| 国产精品国产三级国产专区5o | 午夜激情福利司机影院| 国产精品一区二区在线观看99 | 少妇猛男粗大的猛烈进出视频 | 亚洲天堂国产精品一区在线| 黄片无遮挡物在线观看| 亚洲欧美中文字幕日韩二区| 欧美日韩综合久久久久久| 久久精品综合一区二区三区| 精品人妻一区二区三区麻豆| 国产 一区精品| 久久久色成人| 夫妻性生交免费视频一级片| 色综合站精品国产| 黄色欧美视频在线观看| 免费av毛片视频| 国产乱来视频区| 高清午夜精品一区二区三区| 视频中文字幕在线观看| 可以在线观看毛片的网站| 欧美日韩精品成人综合77777| 亚洲国产色片| 精品国产露脸久久av麻豆 | av国产久精品久网站免费入址| 少妇的逼水好多| 亚洲伊人久久精品综合 | 午夜福利高清视频| 一级毛片我不卡| 高清视频免费观看一区二区 | 国内精品宾馆在线| 少妇高潮的动态图| 超碰av人人做人人爽久久| 国产高清三级在线| www日本黄色视频网| 国产美女午夜福利| av在线蜜桃| 狠狠狠狠99中文字幕| 国产免费又黄又爽又色| 日韩中字成人| 人妻系列 视频| 天堂中文最新版在线下载 | 搡女人真爽免费视频火全软件| 少妇人妻精品综合一区二区| 国产成人精品久久久久久| 亚洲av熟女| 久久久欧美国产精品| 高清日韩中文字幕在线| 久热久热在线精品观看| 午夜日本视频在线| 麻豆成人午夜福利视频| 一级黄色大片毛片| 91精品伊人久久大香线蕉| 国产精品人妻久久久久久| 七月丁香在线播放| 男人狂女人下面高潮的视频| 国产三级中文精品| 成人av在线播放网站| 免费av不卡在线播放| 嫩草影院精品99| 午夜精品一区二区三区免费看| 男女下面进入的视频免费午夜| 亚洲人与动物交配视频| 国产高潮美女av| 嫩草影院入口| www.av在线官网国产| 国产视频首页在线观看| 天堂av国产一区二区熟女人妻| 国产成人免费观看mmmm| 99热这里只有精品一区| eeuss影院久久| 99热全是精品| 麻豆久久精品国产亚洲av| 亚洲精品影视一区二区三区av| 国产成人一区二区在线| 乱人视频在线观看| 国产激情偷乱视频一区二区| 亚洲内射少妇av| 午夜久久久久精精品| 欧美日本亚洲视频在线播放| 日韩 亚洲 欧美在线| 欧美区成人在线视频| 尤物成人国产欧美一区二区三区| eeuss影院久久| 三级国产精品片| 两个人的视频大全免费| 狠狠狠狠99中文字幕| 欧美高清成人免费视频www| 黑人高潮一二区| 久久精品国产亚洲av天美| 国产精品无大码| 久久精品夜色国产| 寂寞人妻少妇视频99o| 天天躁日日操中文字幕| 国产精品99久久久久久久久| 青青草视频在线视频观看| 国产成人a区在线观看| 国产精品av视频在线免费观看| 亚洲一区高清亚洲精品| 久久99蜜桃精品久久| 亚洲欧美中文字幕日韩二区| 1000部很黄的大片| 国产淫片久久久久久久久| 最近中文字幕2019免费版| 最近中文字幕高清免费大全6| 欧美高清成人免费视频www| 高清av免费在线| 真实男女啪啪啪动态图| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 久久韩国三级中文字幕| 欧美激情国产日韩精品一区| 欧美性猛交╳xxx乱大交人| 免费一级毛片在线播放高清视频| 国产国拍精品亚洲av在线观看| 99久久成人亚洲精品观看| 少妇人妻一区二区三区视频| 韩国av在线不卡| 日韩人妻高清精品专区| 国产麻豆成人av免费视频| 国产免费一级a男人的天堂| av国产久精品久网站免费入址| 国内精品一区二区在线观看| av在线播放精品| 国产伦在线观看视频一区| 男女边吃奶边做爰视频| 国产激情偷乱视频一区二区| a级毛片免费高清观看在线播放| 国产探花在线观看一区二区| 亚洲精品色激情综合| 国产亚洲av片在线观看秒播厂 | 久久精品综合一区二区三区| 午夜视频国产福利| 九色成人免费人妻av| 成人美女网站在线观看视频| 亚洲av成人av| 国产又黄又爽又无遮挡在线| 免费不卡的大黄色大毛片视频在线观看 | 精品国内亚洲2022精品成人| 国产黄a三级三级三级人| 成人综合一区亚洲| 变态另类丝袜制服| 国产在线男女| 91久久精品国产一区二区三区| 一级毛片aaaaaa免费看小| 99久久中文字幕三级久久日本| 亚洲精品一区蜜桃| 亚洲av.av天堂| 99久久成人亚洲精品观看| 搡女人真爽免费视频火全软件| 一卡2卡三卡四卡精品乱码亚洲| 深夜a级毛片| 国产亚洲一区二区精品| 少妇人妻一区二区三区视频| 亚洲av电影不卡..在线观看| 在线观看一区二区三区| 欧美高清性xxxxhd video| 久久精品久久久久久噜噜老黄 | 国产精品人妻久久久影院| videos熟女内射| 亚洲怡红院男人天堂| 一卡2卡三卡四卡精品乱码亚洲| 精品久久久久久久久亚洲| 如何舔出高潮| 亚洲av成人精品一二三区| 欧美成人午夜免费资源| 高清日韩中文字幕在线| 国产综合懂色| 国产成年人精品一区二区| 国产成人a区在线观看| 国产一区亚洲一区在线观看| 久久精品熟女亚洲av麻豆精品 | 岛国在线免费视频观看| 黄色日韩在线| 午夜福利视频1000在线观看| 日本黄色视频三级网站网址| 2021少妇久久久久久久久久久| 国产极品精品免费视频能看的| 亚洲av免费高清在线观看| 身体一侧抽搐| 午夜爱爱视频在线播放| 汤姆久久久久久久影院中文字幕 | 99久久成人亚洲精品观看| 国产精品久久久久久精品电影| 高清在线视频一区二区三区 | 亚洲国产成人一精品久久久| 日韩制服骚丝袜av| 老师上课跳d突然被开到最大视频| 国产精品,欧美在线| 十八禁国产超污无遮挡网站| 亚洲国产欧洲综合997久久,| 波多野结衣巨乳人妻| 国产视频首页在线观看| 久久精品国产亚洲av涩爱| 综合色丁香网| 国内精品一区二区在线观看| av国产久精品久网站免费入址| 亚洲成人av在线免费| 男人的好看免费观看在线视频| 中文亚洲av片在线观看爽| 99久国产av精品国产电影| 纵有疾风起免费观看全集完整版 | 欧美高清性xxxxhd video| 精品久久久久久电影网 | 乱人视频在线观看| 少妇高潮的动态图| 亚洲精品国产av成人精品| 男女免费视频国产| 国产精品99久久99久久久不卡 | 男女免费视频国产| 亚洲五月色婷婷综合| 久久99蜜桃精品久久| 香蕉精品网在线| 日本色播在线视频| 亚洲国产精品国产精品| 久久人人爽人人爽人人片va| 亚洲欧美成人精品一区二区| 一区二区三区四区激情视频| 精品国产一区二区三区久久久樱花| 亚洲国产最新在线播放| 边亲边吃奶的免费视频| 国产精品一二三区在线看| www.色视频.com| 国产 一区精品| 天堂俺去俺来也www色官网| 亚洲激情五月婷婷啪啪| 在现免费观看毛片| 国产av精品麻豆| 亚洲高清免费不卡视频| 99国产精品免费福利视频| 色哟哟·www| 日本91视频免费播放| 美女国产视频在线观看| 狠狠精品人妻久久久久久综合| 亚洲精品久久久久久婷婷小说| av女优亚洲男人天堂| 精品国产露脸久久av麻豆| 成人无遮挡网站| 高清黄色对白视频在线免费看| 少妇 在线观看| 成人黄色视频免费在线看| 欧美 日韩 精品 国产| 美女脱内裤让男人舔精品视频| 久久国内精品自在自线图片| 国产黄色免费在线视频| 纯流量卡能插随身wifi吗| 亚洲av.av天堂| 免费黄频网站在线观看国产| 2018国产大陆天天弄谢| 国产伦理片在线播放av一区| 91精品伊人久久大香线蕉| 狠狠婷婷综合久久久久久88av| 欧美日韩av久久| 两性夫妻黄色片 | 久久国产精品大桥未久av| 色婷婷久久久亚洲欧美| 国产黄频视频在线观看| 国产在线一区二区三区精| 欧美精品国产亚洲| 蜜桃在线观看..| 亚洲精品av麻豆狂野| 国产精品一区二区在线观看99| 夜夜骑夜夜射夜夜干| 人成视频在线观看免费观看| 国产精品一二三区在线看| 亚洲欧洲国产日韩| 巨乳人妻的诱惑在线观看| 欧美精品av麻豆av| 岛国毛片在线播放| 高清欧美精品videossex| 亚洲精品乱码久久久久久按摩| 飞空精品影院首页| 日韩三级伦理在线观看| 欧美激情 高清一区二区三区| 久久 成人 亚洲| 亚洲欧美一区二区三区黑人 | 人妻一区二区av| 嫩草影院入口| 国产精品 国内视频| 黄色 视频免费看| 99久久中文字幕三级久久日本| 日韩欧美一区视频在线观看| 久久97久久精品| 亚洲第一区二区三区不卡| 99热全是精品| 极品人妻少妇av视频| 精品国产一区二区三区四区第35| 国产综合精华液| 精品国产一区二区三区久久久樱花| 国产精品一区www在线观看| 日本色播在线视频| 亚洲国产毛片av蜜桃av| 9色porny在线观看| 黑丝袜美女国产一区| 亚洲欧美一区二区三区国产| 国产欧美日韩综合在线一区二区| 亚洲国产看品久久| 日韩成人av中文字幕在线观看| 精品国产露脸久久av麻豆| 亚洲欧美日韩另类电影网站| 精品国产乱码久久久久久小说| 亚洲第一av免费看| 综合色丁香网| 久久人妻熟女aⅴ| 国产精品国产三级国产专区5o| 精品一区二区三区四区五区乱码 | xxx大片免费视频| 色5月婷婷丁香| 国语对白做爰xxxⅹ性视频网站| 伊人亚洲综合成人网| 女的被弄到高潮叫床怎么办| 久久人人爽人人爽人人片va| 日韩,欧美,国产一区二区三区| 亚洲四区av| 日本av免费视频播放| 日本91视频免费播放| 制服人妻中文乱码| 精品国产露脸久久av麻豆| 欧美成人午夜精品| 精品一区二区免费观看| 蜜桃在线观看..| 99九九在线精品视频| 亚洲av国产av综合av卡| 精品亚洲乱码少妇综合久久| 久久久久人妻精品一区果冻| 精品国产一区二区三区久久久樱花| 亚洲欧美日韩另类电影网站| 精品一区二区免费观看| 亚洲精品一二三| 午夜91福利影院| 汤姆久久久久久久影院中文字幕| 高清在线视频一区二区三区| 亚洲精品国产色婷婷电影| 成人免费观看视频高清| 久久精品夜色国产| 亚洲国产精品专区欧美| a级片在线免费高清观看视频| 亚洲国产最新在线播放| 在线观看免费日韩欧美大片| 又黄又爽又刺激的免费视频.| 亚洲国产精品一区三区| 日本免费在线观看一区| 婷婷色av中文字幕| 777米奇影视久久| 久久久久国产网址| 丝袜脚勾引网站| 日韩精品有码人妻一区| 久久这里有精品视频免费| 美女福利国产在线| 天天躁夜夜躁狠狠久久av| av线在线观看网站| 在线观看国产h片| 国产精品久久久久久久电影| 国产精品久久久久久精品古装| 一本—道久久a久久精品蜜桃钙片| 中国美白少妇内射xxxbb| 日韩免费高清中文字幕av| 香蕉国产在线看| 国产色婷婷99| 午夜福利视频精品| 丝袜人妻中文字幕| 国产亚洲av片在线观看秒播厂| 欧美日韩视频高清一区二区三区二| 寂寞人妻少妇视频99o| 亚洲精品国产av蜜桃| 久久久精品94久久精品| 国产av码专区亚洲av| 在线观看www视频免费| 国产欧美另类精品又又久久亚洲欧美| 亚洲精品美女久久av网站| 人妻少妇偷人精品九色| 草草在线视频免费看| 在线观看免费视频网站a站| 国产1区2区3区精品| 亚洲精品日韩在线中文字幕| 精品亚洲成国产av| 久久99热这里只频精品6学生| 伊人亚洲综合成人网| 伊人久久国产一区二区| 青春草亚洲视频在线观看| 永久网站在线| 内地一区二区视频在线| 亚洲av电影在线观看一区二区三区| 天堂中文最新版在线下载| 欧美日韩亚洲高清精品| 男女国产视频网站| 免费女性裸体啪啪无遮挡网站| 国产精品久久久久久久久免| 九色成人免费人妻av| 久久国产精品大桥未久av| 另类精品久久| 色哟哟·www| 99视频精品全部免费 在线| 成人二区视频| 欧美国产精品一级二级三级| 一级毛片黄色毛片免费观看视频| 晚上一个人看的免费电影| 伦理电影免费视频| 午夜福利在线观看免费完整高清在| 18禁观看日本| 丰满迷人的少妇在线观看| 午夜福利网站1000一区二区三区| 国产爽快片一区二区三区| 久久影院123| 久久99一区二区三区| 乱人伦中国视频| 视频中文字幕在线观看| 日韩人妻精品一区2区三区| 免费黄频网站在线观看国产| 啦啦啦中文免费视频观看日本| 亚洲av中文av极速乱| 国产xxxxx性猛交| 9191精品国产免费久久| 日本色播在线视频|