%0 Journal Article %T 对基于模型诊断测试理论的修正与扩充 %A 李占山? %A 姜云飞? %J 软件学报 %P 979-983 %D 2000 %X 虽然mcilraith和reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对mcilraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性. %K 候选诊断 %K 判定测试 %K 相关测试 %K 鉴别测试 %K 测试条件. %U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20000717&flag=1