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

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