宋益波 尹霞 李华 郭青成 王玲玲 龚正虎 叶新铭 李良明 夏建东 郑守淇 田绍槐 王磊 朱明初 胡雷刚 孔庆彦 张勇 林志文 徐惠民 唐龙业 许明 刘松风 肖明清 章慧 蒙移发 吴建平 王龙 陈源凯 傅泰祺 王志坚 周越文

微操作 卫星控制 深度搜索 协议 检错能力 基于模型的测试 软件 测试子序列 浅度搜索 转换表 矩阵分割 有限状态机 遗传算法 故障字典 不确定性 被测实现 故障模拟 中国邮路算法 并行测试 建模 化学抽象机 扩展D-矩阵 网络 可并行性 测试码 构件行为 计算机网络协议 功能测试 非确定性 故障矩阵