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

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

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