【摘要】：軟件測試是評估和保證軟件質(zhì)量的重要途徑之一。構(gòu)造預(yù)期輸出問題(即Oracle問題)是軟件測試工作中經(jīng)常碰到的難題。蛻變測試技術(shù)通過判斷程序的多個輸入之間的關(guān)系及其對應(yīng)的輸出結(jié)果之間的關(guān)系來測試程序,而不需要構(gòu)造預(yù)期輸出,從而可以有效地解決Oracle問題。但是在實際的測試研究和工作中,普遍存在蛻變關(guān)系的構(gòu)造難度大、測試效率低、蛻變關(guān)系針對性不強(qiáng),測試成本高等缺點(diǎn)。本文通過對現(xiàn)有的蛻變測試方法進(jìn)行優(yōu)化,在一定程度上解決了測試效率低、蛻變關(guān)系針對性不強(qiáng)等方面的問題,主要的工作有:(1)在面向過程的軟件測試方面,研究優(yōu)化蛻變測試方法;(2)在面向?qū)ο蟮能浖䴗y試方面,研究基于狀態(tài)機(jī)的蛻變測試優(yōu)化方法;(3)研究測試覆蓋準(zhǔn)則并結(jié)合圖的遍歷算法,對提高軟件測試效率提供新的思路。論文的主要成果如下。(1)研究面向過程軟件測試中的Oracle問題。提出一種基于分組的蛻變測試優(yōu)化方法,利用路徑相似度對程序進(jìn)行分組對軟件測試進(jìn)行研究。與傳統(tǒng)的方法相比,本文提出的方法不僅能構(gòu)造更多的蛻變關(guān)系,且蛻變關(guān)系在程序錯誤檢測方面更加高效,能更迅速定位到程序的錯誤路徑。以三角形面積計算程序為例進(jìn)行分析,證明了本文提出的優(yōu)化方法具有有效性和可用性。(2)研究面向?qū)ο筌浖䴗y試中的測試優(yōu)化方法。提出一種基于狀態(tài)機(jī)的蛻變測試優(yōu)化方法。利用狀態(tài)機(jī)分析面向?qū)ο蟪绦蛑械膮?shù)狀態(tài)和轉(zhuǎn)換關(guān)系,通過逐步構(gòu)造部分狀態(tài)的蛻變關(guān)系,直至滿足全路徑覆蓋準(zhǔn)則。與傳統(tǒng)方法相比,本文提出的方法在滿足全路徑覆蓋準(zhǔn)則的前提下能獲得更多的蛻變關(guān)系,且蛻變關(guān)系更具針對性,從而提高程序錯誤定位的效率與準(zhǔn)確度。以溫度控制系統(tǒng)程序為例進(jìn)行分析,證明了本文提出的優(yōu)化方法具有有效性。(3)研究探討提高測試效率的新思路。針對實際測試工作中涉及到的遍歷搜索問題,研究滿足覆蓋準(zhǔn)則約束條件下的遍歷搜索算法,通過廣度優(yōu)先覆蓋測試與深度優(yōu)先覆蓋測試在常用的十個程序中的測試實驗比較,發(fā)現(xiàn)廣度有限覆蓋測試能有效提高測試效率,為今后的實際測試工作提高工作效率提供了新的思路。
【學(xué)位授予單位】：中國艦船研究院
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2018
【分類號】：TP311.53

【參考文獻(xiàn)】

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

1 董國偉;聶長海;徐寶文;;基于程序路徑分析的有效蛻變測試[J];計算機(jī)學(xué)報;2009年05期

2 董國偉;徐寶文;陳林;聶長海;王璐璐;;蛻變測試技術(shù)綜述[J];計算機(jī)科學(xué)與探索;2009年02期

3 謝冰;張晨東;;一種基于面向?qū)ο鬁y試模型的測試代碼生成方法與工具[J];計算機(jī)研究與發(fā)展;2008年S1期

4 張懋;張茂林;楊海燕;柳永坡;;面向?qū)ο笙到y(tǒng)灰盒測試模型的研究與應(yīng)用[J];計算機(jī)工程與設(shè)計;2007年15期

5 李康榮;;面向?qū)ο筌浖]環(huán)測試模型探討[J];計算機(jī)與信息技術(shù);2006年09期

6 徐虹;面向?qū)ο蟮能浖䴗y試模型及策略研究[J];計算機(jī)與現(xiàn)代化;2005年03期

7 盧炎生,趙錦蕓,謝曉東;基于狀態(tài)的增量式類測試策略SITS[J];計算機(jī)工程與科學(xué);2004年10期

，

本文編號：2685672