• <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ì)
    一边摸一边做爽爽视频免费| 精品国产超薄肉色丝袜足j| 多毛熟女@视频| avwww免费| 日韩精品青青久久久久久| 又黄又爽又免费观看的视频| 亚洲一码二码三码区别大吗| 国产一区在线观看成人免费| 国产亚洲精品第一综合不卡| 日韩精品青青久久久久久| 精品久久久久久,| 国产三级在线视频| 天堂俺去俺来也www色官网| 在线国产一区二区在线| 国产1区2区3区精品| 在线国产一区二区在线| 欧美人与性动交α欧美精品济南到| 日韩 欧美 亚洲 中文字幕| 999精品在线视频| 激情在线观看视频在线高清| 黄色 视频免费看| 啦啦啦在线免费观看视频4| 麻豆一二三区av精品| 美国免费a级毛片| 在线十欧美十亚洲十日本专区| 国产乱人伦免费视频| 久久国产精品影院| 欧美日韩黄片免| 18禁观看日本| 久久国产乱子伦精品免费另类| 一区二区日韩欧美中文字幕| 深夜精品福利| 亚洲国产精品一区二区三区在线| 国产成人欧美在线观看| 欧美激情久久久久久爽电影 | 欧美精品亚洲一区二区| 国产免费av片在线观看野外av| 国产伦人伦偷精品视频| 99久久精品国产亚洲精品| 国产成人免费无遮挡视频| 看免费av毛片| 美国免费a级毛片| 日本五十路高清| 久久久久久大精品| 欧美黄色淫秽网站| 欧美激情久久久久久爽电影 | 国产av精品麻豆| 日本wwww免费看| 中文字幕av电影在线播放| 欧美日韩黄片免| 日本精品一区二区三区蜜桃| 一级作爱视频免费观看| 美女高潮喷水抽搐中文字幕| 日韩大码丰满熟妇| 亚洲精品久久午夜乱码| 身体一侧抽搐| 午夜福利免费观看在线| 午夜老司机福利片| 美国免费a级毛片| 最好的美女福利视频网| 日本a在线网址| 国产单亲对白刺激| av免费在线观看网站| 男女下面进入的视频免费午夜 | 日韩 欧美 亚洲 中文字幕| 欧美日韩乱码在线| 国产欧美日韩一区二区精品| 日本wwww免费看| 色综合婷婷激情| 大型黄色视频在线免费观看| 免费高清在线观看日韩| e午夜精品久久久久久久| 伦理电影免费视频| 国产成人精品久久二区二区免费| 欧美日韩亚洲高清精品| 国产免费现黄频在线看| 狂野欧美激情性xxxx| 日韩免费高清中文字幕av| 色在线成人网| 日本a在线网址| 欧美一级毛片孕妇| 精品少妇一区二区三区视频日本电影| 亚洲男人天堂网一区| 中文欧美无线码| 黄片播放在线免费| 国产深夜福利视频在线观看| 亚洲一码二码三码区别大吗| 亚洲情色 制服丝袜| 久久精品91蜜桃| 日韩欧美三级三区| 国产成人精品久久二区二区91| 十八禁人妻一区二区| 亚洲成人精品中文字幕电影 | 无遮挡黄片免费观看| 国产深夜福利视频在线观看| 国产激情久久老熟女| 久久青草综合色| 又黄又爽又免费观看的视频| 免费在线观看影片大全网站| 免费人成视频x8x8入口观看| 中文字幕最新亚洲高清| 欧美日韩亚洲高清精品| 天堂中文最新版在线下载| 亚洲欧美精品综合久久99| 色婷婷久久久亚洲欧美| 国产精品免费一区二区三区在线| 三级毛片av免费| 国产成人精品久久二区二区免费| 亚洲成人免费av在线播放| 91成年电影在线观看| 桃色一区二区三区在线观看| 在线观看66精品国产| 黑人巨大精品欧美一区二区mp4| 日本欧美视频一区| a在线观看视频网站| 亚洲在线自拍视频| 国产一区二区三区视频了| 亚洲熟妇熟女久久| 久久这里只有精品19| 欧美乱码精品一区二区三区| 黄色女人牲交| 日本一区二区免费在线视频| 久久久久国产精品人妻aⅴ院| 天天影视国产精品| 一区二区三区精品91| 50天的宝宝边吃奶边哭怎么回事| 国产无遮挡羞羞视频在线观看| 国产又爽黄色视频| 在线观看午夜福利视频| 99国产精品99久久久久| 国产不卡一卡二| av有码第一页| 18禁黄网站禁片午夜丰满| 欧美最黄视频在线播放免费 | 国产不卡一卡二| 一边摸一边抽搐一进一小说| 精品国内亚洲2022精品成人| 亚洲 欧美 日韩 在线 免费| 欧美日本亚洲视频在线播放| 亚洲,欧美精品.| 母亲3免费完整高清在线观看| 日韩大码丰满熟妇| 精品卡一卡二卡四卡免费| 91成人精品电影| 欧美成人性av电影在线观看| 黄色怎么调成土黄色| 日韩精品青青久久久久久| 免费女性裸体啪啪无遮挡网站| 女人被狂操c到高潮| 一级毛片高清免费大全| 精品人妻1区二区| 男女之事视频高清在线观看| 法律面前人人平等表现在哪些方面| 国产精品一区二区三区四区久久 | 他把我摸到了高潮在线观看| 精品久久久久久电影网| 国产乱人伦免费视频| 91麻豆精品激情在线观看国产 | 久久久国产欧美日韩av| 高清毛片免费观看视频网站 | a级片在线免费高清观看视频| 国产成人影院久久av| 人人妻人人添人人爽欧美一区卜| 色在线成人网| 男人操女人黄网站| 日韩国内少妇激情av| 一进一出好大好爽视频| 最新在线观看一区二区三区| 亚洲人成网站在线播放欧美日韩| 女性生殖器流出的白浆| 国产成人啪精品午夜网站| 亚洲中文日韩欧美视频| 91成人精品电影| 亚洲国产欧美一区二区综合| 一级毛片高清免费大全| 国产蜜桃级精品一区二区三区| 午夜精品在线福利| 亚洲国产精品合色在线| 99在线人妻在线中文字幕| 午夜老司机福利片| 9191精品国产免费久久| 国产av一区二区精品久久| 后天国语完整版免费观看| 亚洲av片天天在线观看| 久久天堂一区二区三区四区| 在线av久久热| 妹子高潮喷水视频| 日日干狠狠操夜夜爽| 久久影院123| 999久久久国产精品视频| 日日干狠狠操夜夜爽| 黄色丝袜av网址大全| 国产激情久久老熟女| 亚洲国产精品sss在线观看 | 免费av毛片视频| 国产黄色免费在线视频| 欧美中文综合在线视频| 亚洲国产欧美网| 欧美日韩黄片免| 亚洲国产精品999在线| 亚洲精品美女久久久久99蜜臀| 99国产综合亚洲精品| 99在线视频只有这里精品首页| 多毛熟女@视频| 国产免费男女视频| 99久久人妻综合| 9191精品国产免费久久| xxxhd国产人妻xxx| 欧美久久黑人一区二区| 免费久久久久久久精品成人欧美视频| aaaaa片日本免费| www.精华液| 亚洲午夜精品一区,二区,三区| 日韩欧美国产一区二区入口| 午夜视频精品福利| 老司机在亚洲福利影院| 一区福利在线观看| 男女之事视频高清在线观看| 欧美日韩亚洲综合一区二区三区_| 精品免费久久久久久久清纯| 久久久久国产一级毛片高清牌| 香蕉久久夜色| 亚洲欧美日韩无卡精品| 欧美日本中文国产一区发布| 欧美日韩视频精品一区| 欧美最黄视频在线播放免费 | 国产精品爽爽va在线观看网站 | 最近最新中文字幕大全电影3 | 精品电影一区二区在线| 亚洲熟妇熟女久久| 日韩高清综合在线| 午夜久久久在线观看| 女性被躁到高潮视频| 啦啦啦免费观看视频1| 黄色视频不卡| 日韩大码丰满熟妇| 两个人看的免费小视频| 麻豆成人av在线观看| 久久精品国产亚洲av香蕉五月| 最近最新免费中文字幕在线| 亚洲一区高清亚洲精品| 免费观看精品视频网站| 午夜激情av网站| 久久国产精品男人的天堂亚洲| 丝袜美腿诱惑在线| 亚洲一码二码三码区别大吗| 午夜成年电影在线免费观看| 一级a爱视频在线免费观看| 午夜a级毛片| 亚洲精华国产精华精| 多毛熟女@视频| 好看av亚洲va欧美ⅴa在| 免费在线观看影片大全网站| 俄罗斯特黄特色一大片| 精品熟女少妇八av免费久了| 色播在线永久视频| 日本免费一区二区三区高清不卡 | 99精国产麻豆久久婷婷| 在线观看免费午夜福利视频| 中文字幕高清在线视频| 新久久久久国产一级毛片| 亚洲aⅴ乱码一区二区在线播放 | 日韩免费高清中文字幕av| 午夜福利欧美成人| 一级,二级,三级黄色视频| 精品久久久久久成人av| av电影中文网址| 天天影视国产精品| 国产精品久久久久久人妻精品电影| 久久人人爽av亚洲精品天堂| 999久久久精品免费观看国产| 亚洲精品美女久久av网站| 极品人妻少妇av视频| 久久久精品国产亚洲av高清涩受| 精品卡一卡二卡四卡免费| 亚洲 国产 在线| 久久中文字幕一级| 国产成人av教育| 色综合婷婷激情| 99国产极品粉嫩在线观看| 亚洲精品中文字幕一二三四区| 最新在线观看一区二区三区| 亚洲欧美日韩另类电影网站| 黄色视频不卡| 欧美成人免费av一区二区三区| 黑人巨大精品欧美一区二区mp4| 亚洲男人天堂网一区| 热99re8久久精品国产| 两性午夜刺激爽爽歪歪视频在线观看 | 高清黄色对白视频在线免费看| 国产精品美女特级片免费视频播放器 | 激情在线观看视频在线高清| 波多野结衣av一区二区av| 十八禁网站免费在线| 日韩av在线大香蕉| 亚洲一卡2卡3卡4卡5卡精品中文| 最新在线观看一区二区三区| 中文字幕高清在线视频| 久久久久亚洲av毛片大全| 亚洲激情在线av| 高清毛片免费观看视频网站 | 色哟哟哟哟哟哟| 亚洲人成77777在线视频| 桃色一区二区三区在线观看| 一边摸一边做爽爽视频免费| 视频区欧美日本亚洲| av片东京热男人的天堂| 成人精品一区二区免费| 午夜两性在线视频| 新久久久久国产一级毛片| 国产精品日韩av在线免费观看 | 美女高潮喷水抽搐中文字幕| 久99久视频精品免费| 中文字幕高清在线视频| 国产成人系列免费观看| a级毛片在线看网站| 制服人妻中文乱码| 亚洲 国产 在线| 亚洲欧美一区二区三区黑人| 搡老乐熟女国产| 久久久久九九精品影院| 久久久久久久久免费视频了| 欧美+亚洲+日韩+国产| 亚洲aⅴ乱码一区二区在线播放 | 久久精品影院6| 一区在线观看完整版| 激情在线观看视频在线高清| 在线观看免费视频网站a站| cao死你这个sao货| 国产精品国产高清国产av| 婷婷六月久久综合丁香| 久久久国产成人免费| 中文字幕高清在线视频| 精品人妻1区二区| 男女下面插进去视频免费观看| 50天的宝宝边吃奶边哭怎么回事| 国产男靠女视频免费网站| 琪琪午夜伦伦电影理论片6080| 中文字幕色久视频| 成人永久免费在线观看视频| 亚洲伊人色综图| 免费搜索国产男女视频| 亚洲熟妇中文字幕五十中出 | 国产精品久久久久成人av| 在线观看免费视频日本深夜| 日韩精品免费视频一区二区三区| 久久九九热精品免费| netflix在线观看网站| 国产亚洲精品第一综合不卡| 亚洲男人天堂网一区| 一级,二级,三级黄色视频| 久久这里只有精品19| 窝窝影院91人妻| 亚洲片人在线观看| 电影成人av| 高清在线国产一区| av免费在线观看网站| 亚洲精品久久成人aⅴ小说| 国产精品偷伦视频观看了| 99国产精品99久久久久| 久久精品aⅴ一区二区三区四区| 操出白浆在线播放| 午夜91福利影院| 国产精品香港三级国产av潘金莲| 国产精品偷伦视频观看了| www日本在线高清视频| 成年人免费黄色播放视频| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲五月色婷婷综合| 啦啦啦 在线观看视频| 法律面前人人平等表现在哪些方面| 亚洲精品在线观看二区| 亚洲七黄色美女视频| 久久热在线av| 久久国产精品男人的天堂亚洲| 欧美日韩一级在线毛片| 亚洲中文字幕日韩| 欧美日韩亚洲综合一区二区三区_| 亚洲精品久久午夜乱码| 国产野战对白在线观看| 国产成人影院久久av| 国产成人精品久久二区二区免费| 91麻豆精品激情在线观看国产 | 国产精品综合久久久久久久免费 | 少妇粗大呻吟视频| 满18在线观看网站| 色综合婷婷激情| avwww免费| 制服诱惑二区| 国产熟女xx| 在线免费观看的www视频| 日本vs欧美在线观看视频| 一边摸一边做爽爽视频免费| 叶爱在线成人免费视频播放| 久久影院123| 亚洲国产毛片av蜜桃av| 国产色视频综合| 国产精品久久久久成人av| www.999成人在线观看| 人妻久久中文字幕网| 天天躁夜夜躁狠狠躁躁| 亚洲黑人精品在线| 精品高清国产在线一区| 一进一出好大好爽视频| 国产区一区二久久| 久久香蕉精品热| 男女下面插进去视频免费观看| 男男h啪啪无遮挡| 长腿黑丝高跟| 脱女人内裤的视频| 国产一区二区三区在线臀色熟女 | 亚洲av熟女| 欧美日韩瑟瑟在线播放| 免费看十八禁软件| 一二三四在线观看免费中文在| 免费观看人在逋| 精品国产国语对白av| 黄色视频,在线免费观看| 欧美乱色亚洲激情| 午夜福利在线免费观看网站| 人人澡人人妻人| 一二三四社区在线视频社区8| 看免费av毛片| av有码第一页| 亚洲一区二区三区不卡视频| 国产精品久久久久久人妻精品电影| 亚洲精品一卡2卡三卡4卡5卡| 高清毛片免费观看视频网站 | 18禁美女被吸乳视频| 一本综合久久免费| 国产精品日韩av在线免费观看 | 欧美日韩av久久| 国产三级黄色录像| 男女高潮啪啪啪动态图| 香蕉国产在线看| 黄色怎么调成土黄色| 久久精品aⅴ一区二区三区四区| 亚洲成a人片在线一区二区| 999精品在线视频| 1024视频免费在线观看| 久久精品亚洲熟妇少妇任你| 淫秽高清视频在线观看| 国产在线精品亚洲第一网站| av在线播放免费不卡| 操美女的视频在线观看| 亚洲精品在线美女| 日韩人妻精品一区2区三区| 99久久99久久久精品蜜桃| 国产午夜精品久久久久久| 看黄色毛片网站| 国产精品av久久久久免费| 757午夜福利合集在线观看| 久久亚洲真实| 亚洲精品国产区一区二| 97超级碰碰碰精品色视频在线观看| 亚洲第一av免费看| 最近最新中文字幕大全电影3 | 亚洲精品中文字幕在线视频| 精品无人区乱码1区二区| 精品久久久久久,| 法律面前人人平等表现在哪些方面| 久久亚洲精品不卡| 国产av一区在线观看免费| 亚洲中文日韩欧美视频| 1024视频免费在线观看| 在线av久久热| 在线观看免费高清a一片| 欧美成人午夜精品| 亚洲精品一二三| 90打野战视频偷拍视频| 国产成人影院久久av| 精品久久久久久电影网| 日日爽夜夜爽网站| 午夜激情av网站| 亚洲久久久国产精品| 十八禁人妻一区二区| 一级毛片精品| 波多野结衣av一区二区av| 母亲3免费完整高清在线观看| 久久午夜综合久久蜜桃| 日韩欧美国产一区二区入口| 99国产精品一区二区蜜桃av| 久久影院123| 亚洲专区中文字幕在线| 日韩欧美免费精品| 亚洲欧美日韩高清在线视频| 亚洲第一av免费看| 久久性视频一级片| 黑人操中国人逼视频| 一区福利在线观看| 在线观看免费午夜福利视频| 九色亚洲精品在线播放| 久久久久久久午夜电影 | 免费看a级黄色片| 视频在线观看一区二区三区| 亚洲午夜理论影院| 在线永久观看黄色视频| 亚洲人成伊人成综合网2020| 9色porny在线观看| 亚洲av成人一区二区三| 最新美女视频免费是黄的| 亚洲一区高清亚洲精品| 久久性视频一级片| 日日干狠狠操夜夜爽| 欧美激情极品国产一区二区三区| 天天躁夜夜躁狠狠躁躁| 午夜激情av网站| 99久久99久久久精品蜜桃| 久久精品亚洲熟妇少妇任你| 国产主播在线观看一区二区| 成人黄色视频免费在线看| 欧美日韩瑟瑟在线播放| 精品乱码久久久久久99久播| 可以免费在线观看a视频的电影网站| 午夜精品国产一区二区电影| 18美女黄网站色大片免费观看| 久久久久久久久中文| 岛国视频午夜一区免费看| 国产97色在线日韩免费| 12—13女人毛片做爰片一| 日韩人妻精品一区2区三区| 91在线观看av| 啦啦啦 在线观看视频| 国产精品一区二区在线不卡| 国产成人系列免费观看| 国产成人一区二区三区免费视频网站| 久久久久久免费高清国产稀缺| 精品一区二区三卡| 亚洲国产精品一区二区三区在线| 美国免费a级毛片| 男女床上黄色一级片免费看| svipshipincom国产片| 国产亚洲精品第一综合不卡| 在线观看午夜福利视频| 亚洲va日本ⅴa欧美va伊人久久| 欧美激情极品国产一区二区三区| 人人妻人人添人人爽欧美一区卜| 男人舔女人下体高潮全视频| 成年女人毛片免费观看观看9| ponron亚洲| 久久午夜亚洲精品久久| 侵犯人妻中文字幕一二三四区| 啪啪无遮挡十八禁网站| 欧美激情久久久久久爽电影 | av视频免费观看在线观看| 亚洲欧美精品综合久久99| 国产av在哪里看| 操出白浆在线播放| 欧美日韩黄片免| 十八禁人妻一区二区| 欧美不卡视频在线免费观看 | 日本 av在线| 最新在线观看一区二区三区| 亚洲伊人色综图| 午夜老司机福利片| 一进一出抽搐gif免费好疼 | 一级a爱视频在线免费观看| 日韩视频一区二区在线观看| 咕卡用的链子| 国产亚洲欧美在线一区二区| av天堂久久9| 日韩欧美一区视频在线观看| 自拍欧美九色日韩亚洲蝌蚪91| 色在线成人网| 国产麻豆69| 好男人电影高清在线观看| av福利片在线| 999久久久国产精品视频| 中文欧美无线码| 热re99久久精品国产66热6| 如日韩欧美国产精品一区二区三区| 动漫黄色视频在线观看| 亚洲色图 男人天堂 中文字幕| 丰满饥渴人妻一区二区三| 久久久久国内视频| 亚洲 欧美 日韩 在线 免费| 久久久久九九精品影院| 久热爱精品视频在线9| 久久天躁狠狠躁夜夜2o2o| 欧美精品亚洲一区二区| 日韩高清综合在线| 亚洲欧美日韩另类电影网站| 亚洲国产欧美一区二区综合| 欧美激情久久久久久爽电影 | 久久久久久久精品吃奶| 亚洲av成人一区二区三| 午夜福利免费观看在线| 看黄色毛片网站| 国产一区二区三区综合在线观看| 最近最新中文字幕大全电影3 | 又大又爽又粗| 欧美日韩精品网址| 高清黄色对白视频在线免费看| 无限看片的www在线观看| 久久人妻福利社区极品人妻图片| 精品高清国产在线一区| 五月开心婷婷网| 99久久99久久久精品蜜桃| 国产成人精品在线电影| 久久 成人 亚洲| 久久久久久久午夜电影 | 国产一卡二卡三卡精品| 国产精品 欧美亚洲| 国产av一区二区精品久久| 免费久久久久久久精品成人欧美视频| 欧美在线黄色| 欧洲精品卡2卡3卡4卡5卡区| av欧美777| 日本三级黄在线观看| 少妇被粗大的猛进出69影院| 99久久综合精品五月天人人| 日韩 欧美 亚洲 中文字幕| www.精华液| 宅男免费午夜| 精品一区二区三区av网在线观看|