協(xié)議一致性測試的錯誤診斷研究.pdf

1、中國科學(xué)技術(shù)大學(xué)博士學(xué)位論文協(xié)議一致性測試的錯誤診斷研究姓名：錢蘭申請學(xué)位級別：博士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：趙保華20060401q科學(xué)技術(shù)人學(xué)博Ij論義摘受3暴于擴(kuò)展有限狀態(tài)機(jī)的錯誤診斷囪5艮狀態(tài)機(jī)模型只描述了協(xié)議的控制流部分，但實(shí)際上協(xié)議還包含數(shù)據(jù)流部分?jǐn)U展有限狀念機(jī)模型既能拙述控制流，又能描述數(shù)據(jù)流，所以基于擴(kuò)展有限狀念機(jī)的錯誤診斷是一個非常有實(shí)際意義的研究方向。但是，由于擴(kuò)展有限狀態(tài)機(jī)一一f1路徑可執(zhí)行性問題一直是一個難

2、題，因此本文提出了被動測試中的一個基于擴(kuò)展有限狀態(tài)機(jī)的錯誤診斷算法，這樣就不必考慮測試序列的可執(zhí)行性。該算法基于被動測試的正向推理法和逆向推理法，采用逆向判定法給出了所有的錯誤診斷消息。本文的創(chuàng)新之處在于：在主動測試中，首先提出了一個錯誤診斷算法，該算法充分利用了已有的測試序列的消息，效率比已有算法高，接著提出了一個基于特殊測試序列的錯誤診斷算法，這兩個算法都是基于有限狀態(tài)機(jī)模型的；在被動測試中，提出了兩個基于有限狀態(tài)機(jī)模型的錯誤診斷算