王海峰 李敬文 李卢强 杨伟 王晓明 王铁江 王海龙 侯前进 全学峰 魏臻 程磊 文武臣 郦萌 程运安 蒋守信

进路搜索 物流 主动数据库 黑盒测试 危险侧逻辑状态 故障-安全 数据结构 安全侧逻辑状态 脚本 可靠性 故障诊断 模型 软件测试 白盒测试 危险源分析 硬件 安全性 自动测试 安全关键系统 知识库 规则库 ECA规则 作业计划 自动跟踪 软件 灰盒测试