冯博琴 王民钢 冯冬竹 陈翔宇 马丰宁 宫云战 贺喆 赵鹏宇 贺晓红 刘坚强 符文星 成伟兰 高海昌 夏玉辉 张威 朱利 吴震 李鸣 江标 杨朝红 万琳

注入 语法树 测试用例 控制流图 软件可靠性 变量定义未使用故障 未初化变量 函数副作用 代码插装 故障模型 动态测试 被测单元 函数间分析 数字测试交换格式 区间运算 非法计算 半实物仿真系统 芯片 测控设备 故障仿真 白盒 经验数据 寄存器 随机测试 计算机检修 数字式制导系统 软件测试 选择性测试 揭错能力 结构测试