宫云战 颜学龙 王昕 魏臻 常光辉 陈火军 朱为国 叶新铭 刘家松 洪炳镕 乔永强 江建慧 徐胜红 姚文斌 仉俊峰 李华伟 曹文静 徐光侠 汪东升 程运安 李华 祝庚 陈蜀宇 徐莲军 郑纬民 李炯亮 刘宴兵 何蓉晖 程磊 刘国良

故障有向图 可靠性 可测性设计 寄存器传输级电路 功能健壮测试 内建自修复 静态电流测试 故障定位算法 超大规模集成电路 故障传播 march算法 内建自测试 动态故障库 故障注入器 路径延迟故障 门级电路 相异性设计 分布实时系统 自动测试方法 OSPFv3 微处理机 微操作 EFSM IDDQ 故障注入方法 一致性算法 软件容错 嵌入式存储器 软件测试 软件故障注入