基于SA規(guī)則的全路徑用例自動(dòng)生成方法研究.pdf

1、測(cè)試用例是軟件測(cè)試技術(shù)中的核心角色,測(cè)試用例的人工生成不能滿(mǎn)足現(xiàn)代軟件開(kāi)發(fā)的需要,使得測(cè)試用例自動(dòng)生成成為研究熱點(diǎn)。在測(cè)試用例自動(dòng)生成方法中,有基于規(guī)格說(shuō)明和基于結(jié)構(gòu)兩種生成的方法。人工智能技術(shù):粒子群優(yōu)化算法、遺傳算法、BP神經(jīng)網(wǎng)絡(luò)算法、混沌理論等也被用于對(duì)測(cè)試用例自動(dòng)生成的研究。路徑測(cè)試是白盒測(cè)試中覆蓋強(qiáng)度最強(qiáng)的測(cè)試,因此基于結(jié)構(gòu)的路徑測(cè)試用例自動(dòng)生成一直受人關(guān)注。目前,對(duì)單路徑測(cè)試用例自動(dòng)生成方法的研究較多,在文獻(xiàn)中采用了最常見(jiàn)的

2、單路徑測(cè)試用例自動(dòng)生成方法,如:隨機(jī)法、動(dòng)態(tài)法和符號(hào)執(zhí)行法等。全路徑是程序的所有可能路徑,如果能對(duì)程序的所有可能的路徑都進(jìn)行測(cè)試則稱(chēng)為全路徑測(cè)試,單個(gè)函數(shù)中全路徑測(cè)試的優(yōu)點(diǎn)是:測(cè)試不需指定路徑,因?yàn)橹付窂奖旧砭捅容^麻煩；全路徑的測(cè)試用例覆蓋了該程序的所有可執(zhí)行路徑,比較全面的測(cè)試了程序的可行路徑；對(duì)于龐大的程序結(jié)構(gòu)進(jìn)行人工的窮舉路徑不可取,因此如何設(shè)計(jì)出一種基于全路徑的搜索方法對(duì)實(shí)際應(yīng)用具有重大意義。在論文中以單個(gè)函數(shù)的全路徑為背景,

3、研究測(cè)試用例自動(dòng)生成的方法。
　　 本文設(shè)計(jì)了一個(gè)基于SA(Source Analysis)規(guī)則的全路徑測(cè)試用例自動(dòng)生成系統(tǒng)的框架。這個(gè)框架主要由:初始化組件、程序解析組件、優(yōu)化組件和結(jié)果分析組件四部分組成。論文對(duì)程序解析組件和優(yōu)化組件的功能和算法實(shí)現(xiàn)進(jìn)行了較詳細(xì)地討論。程序解析組件的工作主要有兩個(gè):一是對(duì)測(cè)試目標(biāo)進(jìn)行靜態(tài)解析,主要著重于源程序的語(yǔ)義分析和語(yǔ)法分析；二是運(yùn)用SA規(guī)則對(duì)源程序進(jìn)行逐行解析,按照
　　 關(guān)鍵詞

4、分析程序的結(jié)構(gòu)并插裝相應(yīng)的節(jié)點(diǎn),插裝的目的是記錄執(zhí)行的語(yǔ)句,得到有向無(wú)負(fù)權(quán)圖和插裝后的目標(biāo)函數(shù)。SA規(guī)則中制定了構(gòu)造源程序的有向無(wú)負(fù)權(quán)圖的方案,有向無(wú)負(fù)權(quán)圖可以排除源程序的回路,簡(jiǎn)化源程序中的路徑。優(yōu)化組件的工作主要有三個(gè):一是不重復(fù)路徑集的獲取,在有向無(wú)負(fù)權(quán)圖上搜索所有不重復(fù)的路徑,并且存放到不重復(fù)的路徑集合中；二是將初始化的測(cè)試數(shù)據(jù)放到插裝后的源程序中執(zhí)行,得到測(cè)試數(shù)據(jù)的實(shí)際執(zhí)行路徑；三是計(jì)算已執(zhí)行路徑的相似度,在本工作中,制定了使