基于EFSM模型不定型切片測(cè)試用例自動(dòng)生成的研究.pdf

1、基于模型的測(cè)試是軟件測(cè)試中的一個(gè)重要分支。EFSM模型是對(duì)FSM模型的擴(kuò)展，可以更加精準(zhǔn)地描述軟件系統(tǒng)的動(dòng)態(tài)行為?；贓FSM模型的測(cè)試技術(shù)具有重要的研究意義與實(shí)用價(jià)值。
　　基于EFSM模型的測(cè)試生成主要包含兩個(gè)部分:測(cè)試遷移路徑的生成和覆蓋測(cè)試遷移路徑的測(cè)試數(shù)據(jù)生成。相關(guān)學(xué)者研究了EFSM模型測(cè)試生成效率的影響因素，發(fā)現(xiàn)模型規(guī)模越大，測(cè)試生成的效率就會(huì)越低。在實(shí)際應(yīng)用中，軟件系統(tǒng)規(guī)模的增大使與之對(duì)應(yīng)的模型規(guī)模也變得越來(lái)越大，這

2、勢(shì)必會(huì)導(dǎo)致測(cè)試效率的降低和測(cè)試難度的增加。模型切片是在程序切片的基礎(chǔ)上提出的，它是對(duì)模型的約減。其中，EFSM模型不定型切片只保留了原模型的語(yǔ)義，是一種約減程度較高的切片技術(shù)。
　　為了提高EFSM模型的測(cè)試生成效率，本文提出了一種基于EFSM模型不定型切片的測(cè)試生成方法。依據(jù)不定型切片的特點(diǎn)，即切片中的遷移均對(duì)被測(cè)遷移存在影響和切片中存在合并遷移;以及EFSM模型路徑可行性的特點(diǎn)，本文提出了基于切片的測(cè)試路徑生成規(guī)則，并采用遺傳

3、算法生成測(cè)試數(shù)據(jù)。此外，依據(jù)切片的定義，可知切片上測(cè)試用例是原模型測(cè)試用例的子集。為了保證在切片上生成的測(cè)試用例在原模型上可用，本文進(jìn)一步提出了測(cè)試路徑補(bǔ)全規(guī)則和測(cè)試數(shù)據(jù)補(bǔ)全規(guī)則。通過(guò)兩個(gè)案例分析得出:基于模型切片可以更加準(zhǔn)確地生成可行路徑和提高測(cè)試強(qiáng)度。為了進(jìn)一步驗(yàn)證本文方法的有效性和正確性，對(duì)其進(jìn)行了實(shí)驗(yàn)設(shè)計(jì)和驗(yàn)證。實(shí)驗(yàn)結(jié)果顯示:首先在切片上生成的測(cè)試用例補(bǔ)全后在原模型上基本可運(yùn)行;其次基于切片的方法中測(cè)試用例生成效率在大多數(shù)情況下