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

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

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

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