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

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

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

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