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

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

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