發(fā)布時(shí)間：2018-05-17 16:00

  本文選題：覆蓋測(cè)試 + 路徑選擇�。� 參考：《北京郵電大學(xué)》2016年碩士論文

【摘要】：軟件測(cè)試是軟件質(zhì)量的重要保證,單元覆蓋測(cè)試是其中的基本方法,它通過生成測(cè)試用例來覆蓋特定的目標(biāo)元素集。由于循環(huán)結(jié)構(gòu)的執(zhí)行次數(shù)難以通過靜態(tài)分析的方法確定,使得覆蓋測(cè)試中的循環(huán)結(jié)構(gòu)路徑選擇一直是個(gè)難點(diǎn)問題。常見的0-1展開策略無法滿足循環(huán)結(jié)構(gòu)需要執(zhí)行多次的情況,固定K次展開策略也有展開次數(shù)的局限性。本文提出了一種動(dòng)靜結(jié)合的循環(huán)結(jié)構(gòu)選路方法,通過靜態(tài)選路和動(dòng)態(tài)執(zhí)行為循環(huán)結(jié)構(gòu)進(jìn)行路徑選擇。文中介紹了循環(huán)結(jié)構(gòu)路徑選擇的兩種常見策略,分析了它們的局限性,并針對(duì)其中的兩個(gè)局限性給出了改進(jìn)方法。接著,本文提出了動(dòng)靜結(jié)合的循環(huán)結(jié)構(gòu)選路方法,該方法首先為目標(biāo)元素進(jìn)行靜態(tài)選路,選出前綴路徑,然后用動(dòng)態(tài)執(zhí)行方法生成包含目標(biāo)元素的可達(dá)路徑。但是,該方法對(duì)于循環(huán)結(jié)構(gòu)展開次數(shù)的選取具有隨機(jī)性,又提出了改進(jìn)的動(dòng)靜結(jié)合的循環(huán)結(jié)構(gòu)選路方法。該方法將目標(biāo)覆蓋元素分為自由目標(biāo)元素和非自由目標(biāo)元素,優(yōu)先為所有的自由目標(biāo)元素進(jìn)行路徑選擇,記錄循環(huán)結(jié)構(gòu)實(shí)際的迭代次數(shù)為非自由目標(biāo)元素的路徑選擇提供參考,最后為非自由目標(biāo)元素借助參考值進(jìn)行路徑選擇。本文最后借助CTS代碼覆蓋測(cè)試系統(tǒng)對(duì)動(dòng)靜結(jié)合的循環(huán)結(jié)構(gòu)選路方法進(jìn)行了可行性和有效性驗(yàn)證實(shí)驗(yàn),對(duì)實(shí)驗(yàn)結(jié)果進(jìn)行了分析,給出了實(shí)驗(yàn)結(jié)論。
[Abstract]:Software testing is an important guarantee of software quality, and unit coverage test is the basic method. It covers a specific set of target elements by generating test cases. Because the execution times of loop structure are difficult to be determined by static analysis method, it is always a difficult problem to choose the path of loop structure in coverage testing. The common 0-1 expansion strategy can not satisfy the situation that the loop structure needs to be executed many times, and the fixed K-times expansion strategy also has the limitation of the expansion times. In this paper, a method of dynamic and static combination of cyclic structure routing is proposed, which selects the path for the cyclic structure by static routing and dynamic execution. In this paper, two common strategies for path selection of circular structures are introduced, their limitations are analyzed, and an improved method is given for two of them. Then, this paper proposes a dynamic and static loop structure routing method, which firstly selects the static path for the target element, selects the prefix path, and then uses the dynamic execution method to generate the reachable path containing the target element. However, the method is stochastic for the selection of cyclic structure expansion times, and an improved cyclic structure routing method combining dynamic and static is proposed. The method divides the target covering elements into free target elements and non-free target elements, and gives priority to path selection for all free target elements, and records the actual iterations of the loop structure to provide a reference for the path selection of non-free target elements. Finally, the non-free target elements are selected by reference value. In the end, the feasibility and validity of the cyclic structure routing method based on CTS code coverage test system are verified, the experimental results are analyzed and the experimental conclusions are given.
【學(xué)位授予單位】：北京郵電大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2016
【分類號(hào)】：TP311.53

【參考文獻(xiàn)】

相關(guān)期刊論文 前10條

1 邢穎;宮云戰(zhàn);王雅文;張旭舟;;基于分支限界搜索框架的測(cè)試用例自動(dòng)生成[J];中國(guó)科學(xué):信息科學(xué);2014年10期

2 楊鵬;;基于Feed4JUnit架構(gòu)的單元測(cè)試技術(shù)研究與應(yīng)用[J];軟件工程師;2014年07期

3 仝海燕;呂洪善;賈爽;;白盒測(cè)試之基本路徑測(cè)試技術(shù)探析[J];重慶工商大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年01期

4 張莉;趙海;;GIS軟件測(cè)試方法研究[J];地理空間信息;2010年05期

5 邵作鎮(zhèn);萬曉冬;;基于STAF的軟件自動(dòng)化測(cè)試研究與應(yīng)用[J];電子科技;2010年07期

6 阮輝;嚴(yán)俊;張健;;基于路徑分析的死循環(huán)檢測(cè)[J];計(jì)算機(jī)學(xué)報(bào);2009年09期

7 吳青林;王焱;;軟件測(cè)試的研究與探討[J];鄖陽(yáng)師范高等�？茖W(xué)校學(xué)報(bào);2009年03期

8 逄珊;;ATE軟件系統(tǒng)測(cè)試方法研究[J];中國(guó)測(cè)試;2009年01期

9 侯蕓;顧剛;高海昌;郭斌;;一種路徑覆蓋自動(dòng)生成的改進(jìn)方法[J];計(jì)算機(jī)工程;2007年04期

10 聶長(zhǎng)海,徐寶文;基于接口參數(shù)的黑箱測(cè)試用例自動(dòng)生成算法[J];計(jì)算機(jī)學(xué)報(bào);2004年03期

相關(guān)碩士學(xué)位論文 前5條

1 苑方勇;地理信息系統(tǒng)軟件測(cè)試標(biāo)準(zhǔn)體系研究[D];北京建筑工程學(xué)院;2012年

2 蔣軼;嵌入式雷達(dá)軟件系統(tǒng)級(jí)測(cè)試技術(shù)研究[D];南京理工大學(xué);2009年

3 韓曉燕;中小企業(yè)軟件測(cè)試管理系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[D];浙江大學(xué);2007年

4 谷濤;引入錯(cuò)誤級(jí)別的測(cè)試集壓縮模型及其應(yīng)用研究[D];華中科技大學(xué);2007年

5 陳蕊;程序中不可達(dá)路徑的識(shí)別及其在結(jié)構(gòu)測(cè)試中的應(yīng)用[D];中國(guó)科學(xué)院研究生院（計(jì)算技術(shù)研究所）;2006年

，

本文編號(hào)：1901975