林争辉 叶以正 孙庆萱 绳伟光 黄岚 张镭 吕宗伟 陈秀中 毛志刚 曾献君 肖立伊 曾文斌 高泽涵

测试生成 功能单元 激励响应 语法分析 非线性受控源 宏模型 软错误率 逻辑险象 结构优化 诊断树 时序逻辑电路 逻辑优化 检测序列 故障诊断 竞争与冒险 故障模型 故障类 测试码 OBDD 高可靠 适应性测试 故障检测