利用元件替换测试求诊断-软件学报.PDF

1000-9825/2005/16(09)1599 ©2005 Journal of Software 软 件 学 报 Vol.16, No.9 ∗ 利用元件替换测试求诊断 1,2,3+ 4 1,2 1,2 2,3 李占山 , 王 涛 , 孙吉贵 , 林 海 , 冯果忱 1(吉林大学 计算机科学与技术学院,吉林 长春 130012) 2(符号计算与知识工程教育部重点实验室(吉林大学),吉林 长春 130012) 3(吉林大学 数学研究所,吉林 长春 130012) 4(长春工业大学 计算机科学与工程学院,吉林 长春 130012) Testing and Computing Diagnoses by Using Component Replacement 1,2,3+ 4 1,2 1,