基于禁忌搜索算法的EFSM測試數(shù)據(jù)生成.pdf

1、隨著計算機軟件行業(yè)迅速發(fā)展,需求日益復雜,軟件產(chǎn)品質(zhì)量的提高變得越來越重要,已成為人們關注的焦點。軟件測試是保證軟件質(zhì)量最重要的手段,也逐漸成為軟件開發(fā)過程的重要階段。隨著軟件規(guī)模越來越大,結構越來越復雜,測試成本相對提高。軟件測試自動化已成為提高測試效率,降低測試成本的重要手段,其最關鍵的難點之一是測試用例的自動生成。
　　 面向對象軟件代碼重用率高,需要嚴格的測試以保證軟件質(zhì)量。但傳統(tǒng)的面向過程軟件測試技術不適用于面向對象軟

2、件的測試,因此隨之出現(xiàn)了基于模型的測試研究。這類模型主要包括LYML(統(tǒng)一建模語言)模型、LTS(標號遷移系統(tǒng))模型和EFSM(可擴展有限狀態(tài)機)模型等,能夠表達軟件系統(tǒng)的一系列活動集合。
　　 EFSM模型可以精確刻畫軟件系統(tǒng)的動態(tài)行為,已被廣泛的應用于描述面向對象軟件的對象行為及對象間的交互。因此,針對EFSM模型,探討測試用例的自動生成具有重要的理論意義和實用價值。EFSM模型的測試用例生成包括測試路徑生成和測試數(shù)據(jù)生成兩

3、部分。目前,針對EFSM模型的測試研究大多集中于測試路徑自動生成。為探索路徑上測試數(shù)據(jù)的自動生成,本文提出了一種面向EFSM路徑,利用禁忌搜索策略實現(xiàn)其測試數(shù)據(jù)自動生成的方法,成功生成了測試數(shù)據(jù)。在此基礎上,通過測試數(shù)據(jù)生成時間與路徑不同特征因素之間關系的相關性分析,獲得了影響EFSM測試數(shù)據(jù)生成效率的關鍵因素,并選取復雜路徑通過適應度值的變化與遺傳算法的測試生成效率進行了比較。實驗結果表明:基于禁忌搜索的EFSM模型測試數(shù)據(jù)自動生成確