刘文晓 赵会群 李瑞 贾智平 王申康 洪炳熔 孙建伶 徐凌宇 杨小虎 王国仁 高远 张宇 李毅 陈俊亮 秦冬雷 彭宇 李晓峰 陈源恩 姚文斌 黄影 张春元 李炯亮 汪东升 刘云龙 陈志伟 刘东 王健 郑纬民 何跃 王新宇

马尔可夫模型 软件测试 可靠性 最早时限优先算法 抢占 模块化 中间件 计算技术 故障模型 元器件 组件事务特征 三层 ClientServer 故障检测与诊断 容错调度 响应系统 支撑软件 相异性设计 调度算法 软件体系结构 预测表 卷回 检测点 SCP 核磁共振 微处理机系统 消息记录 智能网 计算机可靠性 并发 实时数据库系统