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

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

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