EFSM模型可執(zhí)行測試序列生成方法研究.pdf

1、自然語言描述的協(xié)議規(guī)范存在二義性問題，協(xié)議軟件開發(fā)人員對同一協(xié)議規(guī)范理解的差異是導(dǎo)致其協(xié)議實(shí)現(xiàn)“百花齊放”的根本原因。協(xié)議實(shí)現(xiàn)與協(xié)議規(guī)范之間的絲毫偏差都可能給通信網(wǎng)絡(luò)造成災(zāi)難性后果。協(xié)議一致性測試的目的是檢測協(xié)議實(shí)現(xiàn)和協(xié)議規(guī)范的一致性程度，成為了保障網(wǎng)絡(luò)通信質(zhì)量的有效手段。擴(kuò)展有限狀態(tài)機(jī)(Extended Finite State Machine,EFSM)模型為一致性測試提供了一個相對精確的、無二義性的平臺，基于EFSM的協(xié)議一致性測

2、試序列生成成為了當(dāng)前的一個研究熱點(diǎn)。
　　EFSM在有限狀態(tài)機(jī)(Finite State Machine,FSM)的基礎(chǔ)上擴(kuò)充了變量和謂詞條件，導(dǎo)致基于EFSM模型生成的測試序列存在不可執(zhí)行的問題。究其本質(zhì)原因是EFSM模型變遷之間存在數(shù)據(jù)沖突，導(dǎo)致測試序列中變遷之間謂詞條件的矛盾。本文針對EFSM模型可執(zhí)行測試序列生成方法中的關(guān)鍵問題展開了一系列研究工作，研究工作的內(nèi)容和創(chuàng)新之處可以歸結(jié)為下述四個方面：
　　(1)在特定測

3、試場景下，本文實(shí)驗(yàn)發(fā)現(xiàn)了傳統(tǒng)基于可執(zhí)行分析樹EAT(Executable Analysis Tree)的測試序列生成方法在生成測試序列時的局限性，通過提取相關(guān)EFSM模型特征，分析探討了其本質(zhì)原因。
　　(2)挖掘了EFSM模型變遷之間可執(zhí)行性的約束關(guān)系，進(jìn)而構(gòu)造EFSM模型的謂詞依賴圖PDG(Predicate Dependence Graph)，基于PDG引導(dǎo)生成EFSM的可執(zhí)行測試序列。PDG將傳統(tǒng)的可執(zhí)行預(yù)測從1步擴(kuò)展到N

4、步，從而使得測試序列生成引導(dǎo)更加準(zhǔn)確。
　　(3)量化EFSM模型PDG中邊的權(quán)值，提出了一個啟發(fā)式搜索函數(shù)，該函數(shù)將測試序列生成過程中遇到的三個問題：測試序列的可執(zhí)行性、測試序列長度和測試序列覆蓋標(biāo)準(zhǔn)抽象成為三個因子，這三個因子作為啟發(fā)式搜索函數(shù)的參數(shù)來引導(dǎo)可執(zhí)行測試序列的生成。
　　(4)提出一種基于參數(shù)化可執(zhí)行分析樹的測試序列生成方法。該方法在無需初始輸入數(shù)據(jù)的情況下生成滿足覆蓋需求的測試序列，同時生成滿足該測試序列可