基于模型的匯編程序診斷系統(tǒng)研究.pdf

1、　　基于模型的診斷(Model-BasedDiagnosis，MBD)是人工智能領(lǐng)域近年發(fā)展起來(lái)的一個(gè)十分活躍的研究分支。其主要思想是根據(jù)系統(tǒng)的邏輯模型以及系統(tǒng)的輸入推導(dǎo)出系統(tǒng)在正常情況下預(yù)期的行為，如果系統(tǒng)的實(shí)際行為與預(yù)期行為有差別，就說(shuō)明系統(tǒng)存在故障，利用邏輯的推理理論，人們能夠確定引發(fā)故障的元件集合?；谀Ｐ驮\斷最早應(yīng)用于物理設(shè)備元件的錯(cuò)誤檢測(cè)上，近年來(lái)一些人工智能專(zhuān)家把基于模型診斷的思想應(yīng)用于軟件程序的調(diào)試，并取得了一定的成果。

2、　　本文的主要工作是把基于模型診斷原理應(yīng)用于匯編語(yǔ)言程序的錯(cuò)誤檢測(cè)上。我們根據(jù)匯編語(yǔ)言的特點(diǎn)抽象出匯編程序運(yùn)行環(huán)境及動(dòng)態(tài)指令等概念，在這基礎(chǔ)上利用匯編指令、環(huán)境單元之間的數(shù)據(jù)與控制依賴(lài)關(guān)系得出求匯編程序動(dòng)態(tài)分片的兩種方法：基于指令依賴(lài)和基于單元依賴(lài)的動(dòng)態(tài)分片算法。由于動(dòng)態(tài)分片和沖突集具有等價(jià)性[35]，我們利用基于模型診斷的思想，結(jié)合動(dòng)態(tài)分片技術(shù)，提出一個(gè)完整的匯編程序診斷模型，并依據(jù)該模型開(kāi)發(fā)出實(shí)驗(yàn)性的《8086匯編程序診斷系統(tǒng)》。