復雜數據類型測試用例自動生成技術研究.pdf

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

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