国产精品1024永久观看,大尺度欧美暖暖视频在线观看,亚洲宅男精品一区在线观看,欧美日韩一区二区三区视频,2021中文字幕在线观看

  • <option id="fbvk0"></option>
    1. <rt id="fbvk0"><tr id="fbvk0"></tr></rt>
      <center id="fbvk0"><optgroup id="fbvk0"></optgroup></center>
      <center id="fbvk0"></center>

      <li id="fbvk0"><abbr id="fbvk0"><dl id="fbvk0"></dl></abbr></li>

      一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法

      文檔序號(hào):6351710閱讀:300來源:國(guó)知局
      專利名稱:一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法
      技術(shù)領(lǐng)域
      本發(fā)明屬于軟件測(cè)試技術(shù)領(lǐng)域,涉及軟件測(cè)試結(jié)果的驗(yàn)證及缺陷定位技術(shù),主要應(yīng)用于測(cè)試輸入的產(chǎn)生和測(cè)試用例的執(zhí)行可以自動(dòng)完成,但測(cè)試結(jié)果需要人工比對(duì)的場(chǎng)景下,為一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法。
      背景技術(shù)
      基于測(cè)試執(zhí)行的語句覆蓋的缺陷定位技術(shù)通過運(yùn)行測(cè)試用例集來獲取程序的動(dòng)態(tài)執(zhí)行信息,根據(jù)語句的覆蓋情況和用例的執(zhí)行結(jié)果計(jì)算各條語句的可疑度,具有高可疑度的語句優(yōu)先被檢查。其中,最具有代表性的是Agrawal等的削片方法,Renieris和Reiss 的最近鄰方法,Jones和Harrold等提出的Tarantula方法。研究表明這些基于覆蓋信息的缺陷定位技術(shù)可以有效地減少程序中需要檢查的語句數(shù),從而減少了缺陷定位的工作量。然而,基于覆蓋信息的缺陷定位技術(shù)要求測(cè)試用例集具有很高的語句覆蓋率,雖然現(xiàn)有的測(cè)試用例生成工具可以自動(dòng)生成高覆蓋率的測(cè)試輸入,但是這些測(cè)試輸入對(duì)應(yīng)的輸出結(jié)果是未知的。人工判斷所有的輸出結(jié)果對(duì)測(cè)試人員來說是及其困難且不現(xiàn)實(shí)的。而且,判斷測(cè)試輸入的執(zhí)行結(jié)果正確與否,是測(cè)試領(lǐng)域的難題 測(cè)試預(yù)言問題。這個(gè)問題的存在嚴(yán)重影響了基于覆蓋信息的缺陷定位技術(shù)在實(shí)際中的應(yīng)用,帶來了極大的負(fù)擔(dān)??紤]到用測(cè)試用例生成工具自動(dòng)生成的測(cè)試輸入集存在很大的冗余,研究人員提出對(duì)測(cè)試輸入進(jìn)行約簡(jiǎn),采用一些策略從測(cè)試用例集中挑選出部分用例組成一個(gè)子集。測(cè)試人員只需檢查這個(gè)子集的測(cè)試輸出結(jié)果,然后在這個(gè)子集上應(yīng)用基于覆蓋信息的缺陷定位技術(shù)即可。Yu Y和Jones J等研究了測(cè)試用例集的約簡(jiǎn)對(duì)缺陷定位效果的影響,他們的實(shí)驗(yàn)表明,在測(cè)試用例約簡(jiǎn)和缺陷定位效果間存在一個(gè)折中,一般來說,現(xiàn)有的測(cè)試用例約簡(jiǎn)策略降低了缺陷定位的效果。Hao Dan等人提出了一種包含三種策略(下面分別稱為 Si, S2, S3)的測(cè)試輸入約簡(jiǎn)方法(Hao D, Xie T, Zhang L, et al. Test input reduction for result inspection to facilitate fault localization. Journal of Automated Software Engineering, 2010. 5 31.),實(shí)驗(yàn)證明他們的方法可以幫助開發(fā)人員選擇出測(cè)試輸入的一個(gè)小的子集,檢查這個(gè)子集中測(cè)試輸入對(duì)應(yīng)的輸出結(jié)果并在其覆蓋信息基礎(chǔ)上進(jìn)行缺陷定位,仍然可以獲得有效的缺陷定位效果。Baudry B等人的研究表明,在基于語句覆蓋信息的缺陷定位技術(shù)中,缺陷定位算法可以識(shí)別的最小單元為動(dòng)態(tài)基本塊,位于同一個(gè)動(dòng)態(tài)基本塊中的兩條語句將被賦予相同的可疑度。因此,可以利用動(dòng)態(tài)基本塊覆蓋來進(jìn)行測(cè)試用例約簡(jiǎn)。動(dòng)態(tài)基本塊的基本含義為假設(shè)P為待測(cè)試的程序,TS為測(cè)試用例集,一個(gè)動(dòng)態(tài)基本塊DBB(dynamic basic block) 是程序P中被TS中相同測(cè)試用例覆蓋的語句的集合。位于同一個(gè)動(dòng)態(tài)基本塊中的語句在覆蓋矩陣中具有相同的行,它們被測(cè)試用例集中相同的測(cè)試用例所覆蓋,也就是說,測(cè)試用例集中任意一條測(cè)試用例要么執(zhí)行了這個(gè)塊中全部語句,要么沒有執(zhí)行塊中任何一條語句。

      發(fā)明內(nèi)容
      本發(fā)明所要解決的技術(shù)問題是現(xiàn)有的基于語句覆蓋的缺陷定位方法需要檢查測(cè)試用例執(zhí)行結(jié)果,耗費(fèi)大量人力,如果對(duì)測(cè)試用例進(jìn)行約簡(jiǎn),充分利用語句覆蓋信息來幫助挑選用于缺陷定位的測(cè)試用例,可以節(jié)約成本,約簡(jiǎn)的測(cè)試用例集要保證和原有的用例集具有相同或相近的缺陷定位效果。本發(fā)明的技術(shù)方案為一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,在基于測(cè)試執(zhí)行的語句覆蓋信息的缺陷定位技術(shù)中,缺陷定位算法可以識(shí)別的最小單元為動(dòng)態(tài)基本塊,根據(jù)測(cè)試用例的執(zhí)行路徑構(gòu)建語句覆蓋矩陣,由語句覆蓋矩陣得到動(dòng)態(tài)基本塊集合,根據(jù)動(dòng)態(tài)基本塊集合將每條測(cè)試用例表示成以動(dòng)態(tài)基本塊為單位的向量,將語句覆蓋矩陣轉(zhuǎn)換為動(dòng)態(tài)基本塊覆蓋矩陣,對(duì)其中需要人工檢查結(jié)果的測(cè)試用例集進(jìn)行約簡(jiǎn)采用最大劃分策略MDS或均勻劃分策略EDS挑選測(cè)試用例,并判斷所挑選的測(cè)試用例是否能繼續(xù)對(duì)當(dāng)前已劃分出的動(dòng)態(tài)基本塊做劃分,如果能,則保留已挑選的測(cè)試用例,繼續(xù)挑選余下的測(cè)試用例,如果不能,則將已經(jīng)挑選的所有測(cè)試用例構(gòu)成約簡(jiǎn)后的測(cè)試用例集,約簡(jiǎn)后的測(cè)試用例集用于缺陷定位。2、根據(jù)權(quán)利要求1所述的一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,其特征是包括以下步驟1)對(duì)待測(cè)試程序P執(zhí)行測(cè)試用例集TS,TS為待約簡(jiǎn)的初始測(cè)試用例集,根據(jù)測(cè)試用例執(zhí)行路徑收集語句覆蓋信息,構(gòu)建語句覆蓋矩陣;2)由語句覆蓋矩陣得到動(dòng)態(tài)基本塊集合B (TS),設(shè)動(dòng)態(tài)基本塊集合B (TS)包含η 個(gè)元素B1, B2, . . .,Βη,則TS中每條測(cè)試用例、都被表示成一個(gè)η維的向量
      權(quán)利要求
      1.一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,在基于測(cè)試執(zhí)行的語句覆蓋信息的缺陷定位技術(shù)中,缺陷定位算法可以識(shí)別的最小單元為動(dòng)態(tài)基本塊,其特征是根據(jù)測(cè)試用例的執(zhí)行路徑構(gòu)建語句覆蓋矩陣,由語句覆蓋矩陣得到動(dòng)態(tài)基本塊集合,根據(jù)動(dòng)態(tài)基本塊集合將每條測(cè)試用例表示成以動(dòng)態(tài)基本塊為單位的向量,將語句覆蓋矩陣轉(zhuǎn)換為動(dòng)態(tài)基本塊覆蓋矩陣,對(duì)其中需要人工檢查結(jié)果的測(cè)試用例集進(jìn)行約簡(jiǎn)采用最大劃分策略 MDS或均勻劃分策略EDS挑選測(cè)試用例,并判斷所挑選的測(cè)試用例是否能繼續(xù)對(duì)當(dāng)前已劃分出的動(dòng)態(tài)基本塊做劃分,如果能,則保留已挑選的測(cè)試用例,繼續(xù)挑選余下的測(cè)試用例, 如果不能,則將已經(jīng)挑選的所有測(cè)試用例構(gòu)成約簡(jiǎn)后的測(cè)試用例集,約簡(jiǎn)后的測(cè)試用例集用于缺陷定位。
      2.根據(jù)權(quán)利要求1所述的一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,其特征是包括以下步驟1)對(duì)待測(cè)試程序P執(zhí)行測(cè)試用例集TS,TS為待約簡(jiǎn)的初始測(cè)試用例集,根據(jù)測(cè)試用例執(zhí)行路徑收集語句覆蓋信息,構(gòu)建語句覆蓋矩陣;2)由語句覆蓋矩陣得到動(dòng)態(tài)基本塊集合B(TS),設(shè)動(dòng)態(tài)基本塊集合B (化)包含η個(gè)元素B1,化,...,Βη,則TS中每條測(cè)試用例、都被表示成一個(gè)η維的向量ti = <b” b2,…,bn> θ,(沒覆蓋動(dòng)態(tài)基本塊b
      7 =Il名覆蓋了動(dòng)態(tài)基本塊~將語句覆蓋矩陣轉(zhuǎn)化為動(dòng)態(tài)基本塊覆蓋矩陣;3)設(shè)約簡(jiǎn)后的測(cè)試用例集為TS’,初始時(shí)TS’為空集,從TS中選擇任意一條出現(xiàn)錯(cuò)誤的測(cè)試用例加入到測(cè)試用例集TS’中;4)使用劃分策略MDS或EDS挑選測(cè)試用例加入到TS’中,并判斷所挑選的測(cè)試用例是否能繼續(xù)對(duì)當(dāng)前所挑選出的測(cè)試用例集所劃分出的動(dòng)態(tài)基本塊做劃分;5)如果能,則轉(zhuǎn)步驟4)繼續(xù)挑選測(cè)試用例,不能則轉(zhuǎn)步驟6);6)將挑選的所有測(cè)試用例構(gòu)成約簡(jiǎn)后的測(cè)試用例集TS’,用于缺陷定位。
      3.根據(jù)權(quán)利要求2所述的一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,其特征是最大劃分策略MDS首先將步驟幻任意選擇的那條錯(cuò)誤測(cè)試、用例作為它選擇的第一條用例,對(duì)于初始測(cè)試用例集TS,用N(BCTQ)表示TS劃分出的動(dòng)態(tài)基本塊的數(shù)量,N(Btl (TS)) 表示TS對(duì)錯(cuò)誤測(cè)試用例^覆蓋的部分能夠劃分出的動(dòng)態(tài)基本塊數(shù)量,設(shè)當(dāng)前已經(jīng)選擇的測(cè)試用例的集合為T。,MDS在TS中選擇使N(Btl(TQ U {t}))達(dá)到最大值的測(cè)試用例t,將測(cè)試用例t加入Ttl,繼續(xù)下一輪迭代選擇,其中,當(dāng)有不止一個(gè)t滿足條件時(shí),任意選擇一個(gè)用例;直到對(duì)于所有未選擇的測(cè)試用例t’,N(Btl(TQ U {t’ }))都與N(BtlCU)相同而不再增力口,由所選擇的測(cè)試用例得到最終的約簡(jiǎn)后的測(cè)試用例集為TS’。
      4.根據(jù)權(quán)利要求2所述的一種基于動(dòng)態(tài)基本塊的缺陷定位測(cè)試用例約簡(jiǎn)方法,其特征是EDS采用迭代從TS中挑選測(cè)試用例,用Size(t,P)表示一條測(cè)試用例t劃分一個(gè)臨時(shí)塊P產(chǎn)生的子塊中較小的那一個(gè)包含的動(dòng)態(tài)基本塊的數(shù)量,假如t對(duì)P沒有產(chǎn)生劃分, Size(t, P)為0,設(shè)當(dāng)前已經(jīng)選擇的測(cè)試用例的集合為Ttl,則Ttl = Tp U Tf,其中Tp代表正確測(cè)試用例的集合,Tf代表錯(cuò)誤測(cè)試用例的集合,EDS挑選測(cè)試用例后后立即檢查其正確與否,用ΝΦμΟ;))表示Tci對(duì)所有已選錯(cuò)誤測(cè)試用例都覆蓋的部分能夠劃分出的臨時(shí)動(dòng)態(tài)基本塊數(shù)量,EDS挑選能夠使
      全文摘要
      一種基于動(dòng)態(tài)基本塊的測(cè)試用例約簡(jiǎn)方法,首先根據(jù)執(zhí)行路徑構(gòu)建語句覆蓋矩陣,然后將語句覆蓋矩陣轉(zhuǎn)換為動(dòng)態(tài)基本塊覆蓋矩陣,通過最大劃分策略MDS和均勻劃分策略EDS兩種簡(jiǎn)約策略約簡(jiǎn)需要人工檢查結(jié)果的測(cè)試用例集來節(jié)約人力,再將約簡(jiǎn)后的測(cè)試用例集用于缺陷定位。本發(fā)明可以從初始的測(cè)試用例集中選擇出一個(gè)規(guī)模小得多的測(cè)試用例子集,極大地降低了開發(fā)人員對(duì)測(cè)試用例輸出結(jié)果進(jìn)行判斷的負(fù)擔(dān),并且使用此測(cè)試用例集進(jìn)行缺陷定位的效果與使用約簡(jiǎn)前的測(cè)試用例集相比幾乎不下降。
      文檔編號(hào)G06F11/36GK102521131SQ201110413590
      公開日2012年6月27日 申請(qǐng)日期2011年12月13日 優(yōu)先權(quán)日2011年12月13日
      發(fā)明者盧紅敏, 徐寶文, 陳林, 馬倩 申請(qǐng)人:南京大學(xué)
      網(wǎng)友詢問留言 已有0條留言
      • 還沒有人留言評(píng)論。精彩留言會(huì)獲得點(diǎn)贊!
      1