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

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