康智 赵鹏宇 刘纪元 郑炜 徐晓梅 袁野 马海云 沈理 郭莹 高燕 马长捷 王志伟 刘镠 崔岩 朱小冬 杨厚云 张忠林 陈自力 邱金刚 万琳 张芝霞 汤小春 武装 张威 张彦忠 李冰 王波 王国华

分支冲突 航天软件 Testbed 搜索算法 均匀设计 测试环境 测试脚本 功能测试 蒙特卡罗方法 谓词函数 单元测试 错误跟踪 遗传算法 系统测试 故障诊断 搜索策略 寄存器传输级 卫星地面测试 软件可靠性测试 软件可靠性 本地化测试 嵌入式 可靠性 软件评测 中央控制系统 地面电气支持设备 软件测试 无人机 嵌入式软件 导弹武器系统