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

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

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