二叉樹結(jié)構(gòu)型測(cè)試數(shù)據(jù)生成方法研究.pdf

1、軟件測(cè)試是軟件工程學(xué)科的重要組成部分,在實(shí)際的軟件開(kāi)發(fā)過(guò)程中,軟件測(cè)試所發(fā)揮的重要作用己得到軟件開(kāi)發(fā)人員的廣泛認(rèn)同。軟件測(cè)試以發(fā)現(xiàn)軟件中潛藏的缺陷和錯(cuò)誤為目的,確保軟件的可靠性和提高軟件的質(zhì)量。
　　 測(cè)試數(shù)據(jù)自動(dòng)生成是軟件測(cè)試中的一個(gè)重要環(huán)節(jié),目前關(guān)于測(cè)試數(shù)據(jù)生成的研究主要集中于數(shù)值和字符串類型的數(shù)據(jù),對(duì)于指針和動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)類型的測(cè)試數(shù)據(jù)生成研究較少。而且,現(xiàn)有的解決動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)類型輸入數(shù)據(jù)的測(cè)試生成方法大多采用靜態(tài)方法,這對(duì)

2、于復(fù)雜動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu)的測(cè)試數(shù)據(jù)生成實(shí)現(xiàn)困難,并且測(cè)試生成效率較低。
　　 二叉樹是一種廣泛使用并且具有代表性的動(dòng)態(tài)數(shù)據(jù)結(jié)構(gòu),為此,本課題針對(duì)二叉樹結(jié)構(gòu),以路徑覆蓋為測(cè)試準(zhǔn)則,提出了一種基于concolic的二叉樹結(jié)構(gòu)型測(cè)試數(shù)據(jù)自動(dòng)生成方法,使用遺傳搜索算法生成二叉樹結(jié)構(gòu)的形態(tài),并利用約束求解確定其數(shù)據(jù)域的值。針對(duì)二叉樹結(jié)構(gòu)型測(cè)試數(shù)據(jù)的特點(diǎn),設(shè)計(jì)了一種新的染色體編碼方式,用以表示二叉樹結(jié)構(gòu)的形態(tài),探討了適用于二叉樹結(jié)構(gòu)的交叉操作和變