虽然 Mc Ilraith和 Reiter对基于模型诊断的测试进行了阐述 ,但他们的工作限定条件过于严格 .该文放宽了相关测试定理的限定条件 ,给出了修正后的相关测试定理及其证明 .作为对 Mc Ilraith工作的推广 ,对鉴别诊断原理的测试条件进行了扩充 ,提高了鉴别测试的适应性 Although Mc Ilraith and Reiter describe the tests based on the model diagnosis, their working conditions are too restrictive. This paper relaxes the definition of the relevant test theorem, and gives the correlative test theorems and their proofs. The promotion of Mc Ilraith’s work expanded the testing conditions for the differential diagnosis principle and improved the adaptability of the discrimination test