作　　者： ; ;

机构地区： 中山大学信息科学与技术学院

出　　处： 《华中科技大学学报（自然科学版）》 2005年第z1期268-271,共4页

摘　　要： 提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性. A new general modeling method for programs is presented,using an operator matrix to model a program.On the model with reasonable isomorph suppose,a model-based diagnosis is used in program debbuging for logic errors,and compare this model to the other classical models on its advantages.This method is fittable for all kinds of imperative programs.Furthermore,the knowledge about problem or program is added into the model to shrink diagnosis range,and to improve diagnosis accuracy and effeciency.

关 键 词： 基于模型的诊断 程序诊断 算子矩阵 同构假定

领　　域： [自动化与计算机技术] [自动化与计算机技术]