杨孝宗 刘宴兵 温东新 陈蜀宇 徐光侠 谷振宇 洪炳熔 刘国良 王胜文 常光辉 董剑 刘宏伟 乔永强 江铁成

软件测试 可靠性系统 分枝覆盖 分布实时系统 程序变异 测试 错误恢复 系统可信验证平台 容错机制 故障模型 故障注入 评测 智能控制