陈世松 解永良 姚志江 陈定方 向东 石茵 宫云占 曾文斌 李景洲 朱大铭 杨志娟 刘勤 马绍汉 张中 张世栋 张威 崔晓天 梁业伟 王海洋 吕毅

主路径 逻辑图 特征函数 功能块 振荡 查询优化 故障效应传播 源分析 故障模拟 冗余故障 约束 可观度 IDL 隐式扇出 可测试性 CORBA 测试码 输出端 可控度 超平面 敏化法 扇出源 深入分析 训练样本 测试产生 故障模型 测试应用 布局 故障效应可观性 功能级

中国科学院计算技术研究所CAD开放研究实... 中国科学院计算技术研究所 北京工业大学计算机学院 武汉理工大学信息工程学院 山东大学计算机科学系 中国科学院计算技术研究所ＣＡＤ开放实验室 山东大学计算机科学与技术学院 中国科学院计算所