基于多種狀態(tài)機(jī)模型的錯(cuò)誤診斷方法研究.pdf

1、目前，隨著人們對(duì)狀態(tài)機(jī)的研究日趨深入，狀態(tài)機(jī)的模型思想已應(yīng)用到越來(lái)越多的領(lǐng)域，對(duì)于狀態(tài)機(jī)模型的正確性和可靠性要求也越來(lái)越高，因此對(duì)于狀態(tài)機(jī)測(cè)試顯得越來(lái)越關(guān)鍵?，F(xiàn)有的基于狀態(tài)機(jī)的測(cè)試方法研究大部分集中于測(cè)試用例生成方法的研究，然而，在用例產(chǎn)生錯(cuò)誤現(xiàn)象之后，仍需要進(jìn)一步通過(guò)分析錯(cuò)誤特征診斷出具體的錯(cuò)誤位置，因此狀態(tài)機(jī)的錯(cuò)誤診斷方法是一個(gè)非常值得研究的問(wèn)題。
　　一般的基于狀態(tài)機(jī)的錯(cuò)誤診斷方法多基于單個(gè)錯(cuò)誤的假設(shè)和兩種錯(cuò)誤模型，即輸出錯(cuò)

2、誤和轉(zhuǎn)換錯(cuò)誤，并且假設(shè)的測(cè)試用例都完全可執(zhí)行。本文結(jié)合現(xiàn)實(shí)中對(duì)于狀態(tài)機(jī)測(cè)試的需求，在狀態(tài)機(jī)模型上增加了輸出為空和無(wú)法轉(zhuǎn)換的轉(zhuǎn)換結(jié)果，使得模型可以在隨機(jī)生成的用例下運(yùn)行。在一般研究的兩種錯(cuò)誤模型基礎(chǔ)上，提出了轉(zhuǎn)換未執(zhí)行錯(cuò)誤和轉(zhuǎn)換多余錯(cuò)誤兩種新的錯(cuò)誤模型，并將假設(shè)和錯(cuò)誤模型應(yīng)用到單個(gè)狀態(tài)機(jī)模型、通信狀態(tài)機(jī)模型以及嵌入式通信狀態(tài)機(jī)模型三種模型上，得到在三種模型下的錯(cuò)誤診斷方法。
　　通過(guò)對(duì)一般的狀態(tài)機(jī)錯(cuò)誤診斷過(guò)程的簡(jiǎn)化，本文提出的改進(jìn)方

3、法分為預(yù)處理、判定錯(cuò)誤和鑒定錯(cuò)誤三個(gè)階段。預(yù)處理階段生成必要的基本信息和初始的可疑錯(cuò)誤集合。判定錯(cuò)誤階段采用正向分析和逆向分析相結(jié)合的方法，給出每種錯(cuò)誤的判定算法，由算法生成所有的可疑錯(cuò)誤。鑒定錯(cuò)誤階段通過(guò)增加附加的測(cè)試用例的方法處理多個(gè)可疑錯(cuò)誤的情況，給出了測(cè)試用例生成的原則以及不同情況下的處理方法。
　　本文根據(jù)三種狀態(tài)機(jī)模型的不同特征，指出了同一類型錯(cuò)誤在不同模型下算法的不同之處，并分別給出了三種模型下的判定算法，分析了算法