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

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

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

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