復(fù)雜數(shù)據(jù)類型測試用例自動生成技術(shù)研究.pdf

1、作為保證軟件質(zhì)量的重要技術(shù)手段，軟件測試是軟件開發(fā)過程中不可缺少的環(huán)節(jié)。作為軟件測試的核心，測試用例自動生成對于提高測試效率和質(zhì)量具有重要的意義。隨著軟件技術(shù)的迅速發(fā)展，復(fù)雜數(shù)據(jù)類型如樹、圖、XML文檔等得到了廣泛應(yīng)用。然而復(fù)雜數(shù)據(jù)類型通常由若干個成員組成，包含復(fù)雜的約束關(guān)系，這使得復(fù)雜數(shù)據(jù)類型測試用例生成難度增加。復(fù)雜數(shù)據(jù)類型測試用例生成是軟件測試領(lǐng)域自動化的薄弱環(huán)節(jié)，是一個值得研究的課題。
　　 采用合法命令謂詞、等價命令謂

2、詞及定制函數(shù)來表示復(fù)雜數(shù)據(jù)類型的約束條件，通過對約束條件進行求解為復(fù)雜數(shù)據(jù)類型參數(shù)生成測試數(shù)據(jù)。基于等價類劃分的復(fù)雜數(shù)據(jù)類型測試用例生成方法是在考慮軟件的健壯性和測試代價的基礎(chǔ)上對現(xiàn)有界限范圍內(nèi)窮盡測試的改進。帶有復(fù)雜數(shù)據(jù)類型參數(shù)的測試用例生成首先為各個參數(shù)生成相應(yīng)的測試數(shù)據(jù)，然后通過組合來生成測試用例集。復(fù)雜數(shù)據(jù)類型參數(shù)測試數(shù)據(jù)生成過程如下：讀取定制函數(shù)和命令謂詞，根據(jù)定制函數(shù)創(chuàng)建結(jié)構(gòu)取值空間；根據(jù)合法命令謂詞及等價類命令謂詞從候選結(jié)