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

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

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