藤原秀雄 李海波 欧阳凯 塔维维卢卡斯 马克西姆捷尼赫尼 莱穆德俄巴尔 PENGChuan-ning 高静 徐中伟 史再峰 张卫山 捷安瑞克 周敬利 董理君 丁三川 姚素英 王恒青

OVA 时态 无扫描设计 VERA 过程 正规缺省 约束 扩展有限状态机 测试数据生成 寄存器传输层 单元测试 多维 完整性约束 角色访问控制（RBAC） 程序状态 SoC 测试平台 触发器 软件传感器 数据完整性 调试 冲突 自动测试码生成程序 监测 列车自动监控系统 总线接口协议验证 缺省逻辑