基于集合進化算法的EFSM模型可行測試序列集的生成.pdf

1、隨著信息數字化時代的來臨，計算機軟件以驚人的速度急劇膨脹，軟件測試對保障軟件質量起著至關重要的作用。擴展有限狀態(tài)機(Extended Finite State Machine，EFSM)可以對軟件過程的動態(tài)行為進行準確闡述，是一種基于狀態(tài)的形式化描述方式。當前有關EFSM模型的研究大部分集中在兩個方面:測試序列生成和測試數據生成。針對可行測試序列的生成研究目前還處于起步階段，需要進一步的對實現EFSM模型可行測試序列的生成方法進行優(yōu)化。

2、
　　本文針對EFSM模型，以遷移覆蓋準則為目標，結合測試序列可行性度量方法以及基于遺傳算法的測試數據生成方法，運用面向遷移覆蓋準則的集合進化算法和面向遷移覆蓋準則與測試序列集多樣性的多目標集合進化算法生成可行測試序列集;設計并實現了一個基于集合進化算法的EFSM模型可行測試序列集生成器，該生成器能夠有效的生成滿足遷移覆蓋準則的可行測試序列集。
　　為驗證本文提出的基于集合進化算法生成滿足遷移覆蓋準則的可行測試序列集方法的有