摘要
虽然 Mc Ilraith和 Reiter对基于模型诊断的测试进行了阐述 ,但他们的工作限定条件过于严格 .该文放宽了相关测试定理的限定条件 ,给出了修正后的相关测试定理及其证明 .作为对 Mc Ilraith工作的推广 ,对鉴别诊断原理的测试条件进行了扩充 。
Although McIlraith and Reiter characterized the test for model based diagnosis, the limiting conditions of their researches are too strict. In this paper, the limiting conditions of relevant test theorem are relaxed and the revised releva nt test theorem and its proof are presented. As the extension of McIlraith's theories, the initial test condition of the Differential Diagnosis Principles is generalized, which improves the adaptability of differential diagnosis test.
出处
《软件学报》
EI
CSCD
北大核心
2000年第7期979-983,共5页
Journal of Software
基金
国家自然科学基金!(Nos.69783009
69873047
6 9903005)资助
关键词
相关测试
测试条件
模型诊断
测试理论
人工智能
Candidate diagnosis, discriminating test, relevant test, differential test, test condition.
