高小鹏 付剑平 王轶辰 黄百乔 李秋英 田沛 刘斌 陈雪松 崔小乐 钟德明 陆民燕

均衡 系统模式剖面 灰盒测试 概率 仿真测试平台 运行剖面 嵌入式软件 缺陷 运行 选择性测试 软件体系结构 软件可靠性测试 博弈论 决策 测试数据 测试 惯性导航系统 保障性 工程系统工程 可靠性 实时系统 （非）实时软件 软件 实时嵌入式软件 综合后勤保障 测试环境 软件测试 UML 软件可靠性测试充分性准则 功能剖面

北京航空航天大学工程系统工程系 北京航空航天大学 北京航空航天大学011教研室