隨著當今信息化程度的加強,軟件的規(guī)模也越來越大。但是軟件的質量問題一直都是人們關注的焦點問題。而隨著對軟件測試的投入越來越大,軟件測試的成本也越來越高。如何高效地自動化測試是軟件測試者必須要考慮的問題。隨機測試是一種在自動化測試中應用廣泛的方法。但隨機測試也有著相當?shù)牟蛔?近年來很多學者都不斷的對隨機測試進行研究并進行改進,T.Y.Chen等人提出了自適應隨機測試方法(Adaptive Random Testing,ART)并取得較好的效果。自適應隨機測試方法的主要思想是將生成的測試用例動態(tài)的均勻分布在輸入域之中。本文分析了基于概率密度函數(shù)的自適應隨機測試,該類自適應隨機測試算法是目前效果最好的自適應隨機測試算法之一�；诟怕拭芏群瘮�(shù)的自適應隨機測試首先根據(jù)已有測試用例生成概率密度函數(shù),然后通過該概率密度函數(shù)生成下一個測試用例。本文分析了兩種概率密度函數(shù)的自適應隨機測試。一種是限制性選擇的ART算法(Restricted Random Testing,RRT),另一種是基于剖面的ART算法(Adaptive Random Testing through Test Profile,ART_(TP))。本文在分析了兩種基于概率密度函數(shù)的自適應隨機測試方法之后,針對這兩種算法的缺點和不足進行改進并在對提出的改進算法進行了實驗。最后實現(xiàn)了一個測試原型系統(tǒng)來對本文中所提方法進行驗證。本文主要完成的工作闡述如下:1.針對RRT算法時間消耗過大的問題,提出了改進的限制性變概率選擇隨機測試算法(Restricted Random Testing by Largest Available Zone,RRT_(LAZ))。RRT_(LAZ)的主要思想是在已執(zhí)行測試用例周圍生成排除區(qū)域和可選區(qū)域,然后通過算法計算出所有可選區(qū)域,最后尋找最大的可選區(qū)域進行測試用例的生成。同時算法考慮了多維輸入域的情況并給出兩種具體的解決方案。最后通過對模擬程序和真實程序進行測試,測試結果表明,本文提出的RRT_(LAZ)算法能夠有效地減少RRT的時間開銷并且能夠使用較少的測試用例發(fā)現(xiàn)較多的錯誤。2.分析了ART_(TP)算法的執(zhí)行過程并對ART_(TP)算法中用于生成測試用例的概率密度函數(shù)進行改進。相比于原概率密度函數(shù),利用改進后的概率密度函數(shù)可以使用更少的測試用例發(fā)現(xiàn)錯誤。同時針對自適應隨機測試算法沒有結合程序的動態(tài)信息進行改進的缺點,提出了基于覆蓋率和基于路徑的變概率ART算法(Probability Adaptive Random Testing with Dynamic Program Information,PART-DPI)。通過對覆蓋率和路徑信息的整合,使得變概率的ART在選擇測試用例時更有針對性,能夠滿足更高的覆蓋率和覆蓋更多的路徑。實驗結果也表明,基于程序動態(tài)信息的變概率ART能夠比原有的變概率ART算法要更有效。3.設計并實現(xiàn)了一個變概率ART測試原型系統(tǒng)(Probability ART Prototype Testing System,PART_PTS)。該原型系統(tǒng)包含了參數(shù)分析模塊、模擬數(shù)據(jù)模塊、插樁模塊、變異模塊、執(zhí)行模塊以及結果分析模塊。通過實驗可以發(fā)現(xiàn)該系統(tǒng)有較好的可行性以及較高的擴展性。
【學位單位】：江蘇大學
【學位級別】：碩士
【學位年份】：2018
【中圖分類】：TP311.53
【部分圖文】：

們已經介紹各種類型的覆蓋率信息。本文中首先考慮信息的獲取需要對源代碼進行插樁。為了能夠統(tǒng)計出插樁規(guī)則。對程序運行結束后對相關的信息進行輸出。本文選取入。設計的統(tǒng)計類包括 Init()、Count()、Result()函數(shù)表 4.1 統(tǒng)計類主要函數(shù)功能表稱 功能 () 初始化類中的數(shù)據(jù)nt () 統(tǒng)計所需的覆蓋率信息lt () 輸出覆蓋率的結果信息有一些成員變量，包括 BranchJudge 用來統(tǒng)計分支個部分的信息。

名稱 功能Init () 初始化類中的數(shù)據(jù)Count () 統(tǒng)計所需的覆蓋率信息Result () 輸出覆蓋率的結果信息計類還有一些成員變量，包括 BranchJudge 用來統(tǒng)計分支個數(shù)以及的哪一部分的信息。圖 4.5 插樁前的代碼

X=X+1False結束圖 4.7 示例程序流程圖則如下：選擇語句前加裝插樁語句。設計的變量包括該插樁所及節(jié)點是否經過 Visited。選擇語句退出前加裝插樁語句。節(jié)點信息和規(guī)則 1 相體實例分析對路徑的獲取過程。假設程序的流程圖如步是要求出所有的路徑。首先我們可以得到 CFG 的中示。其中序號表示某一個節(jié)點，節(jié)點有相關的信息。
【參考文獻】

相關期刊論文 前2條

1 CHEN Tsong Yueh;KUO Fei-Ching;TOWEY Dave;ZHOU Zhi Quan;;A revisit of three studies related to random testing[J];Science China(Information Sciences);2015年05期

2 方木云,趙保華,屈玉貴;在測試用例不放回時比較隨機測試和分割測試[J];軟件學報;2001年11期

相關碩士學位論文 前1條

1 王衛(wèi)鋒;FSCS自適應隨機測試算法的邊界效應及運行效率研究[D];華東師范大學;2010年

本文編號：2847596