陈文光 杨锦芳 佘玲玲 高德远 张悠慧 赵银亮 李文渊 赵岩 郭善良 薛瑞尼 郑纬民 濮方琍 卢炎生 王得利

卷回恢复 消息传递接口 并行测试 测试策略 主动推送 动态性能分析 共享感知 MessagePassingInterface 间歇性性能分析 Warshall算法 软件测试 执行速率 优化 检查点 可达性测试 片上多核处理器 容错技术