300元3小时服务不限次数_附近100快餐二维码_300上门4个小时电话多少

新闻资讯

News

上海控安参编的《轨道交通安全软件白盒测试技术要求》团标入选“2024年度标准应用典型案例”

发布时间:2024-12-03 作者:上海工业控制安全创新科技有限公司 点击次数:

11月28日,中国认证认可协会召开2024年度标准化工作会议,会上对2024年度标准应用典型案例进行表彰。上海控安参编的《轨道交通安全软件白盒测试技术要求》(T/CCAA 93-2024)团体标准入选“2024年度标准应用典型案例”。

《轨道交通安全软件白盒测试技术要求》由中铁检验认证中心有限公司(CRCC)主编,上海控安等单位联合参与编制,经中国认证认可协会审核,于2024年9月2日批准发布实施。

该标准规定了轨道交通领域中,对于要求达到安全完整性等级(SIL)的软件在进行白盒测试时应遵循的技术要求和方法,明确了测试用例的编写原则和要素等内容,为确保软件的质量与可靠性、满足安全完整性等级验证提供了依据,有效填补了轨道交通领域安全软件白盒测试相关标准的空白,对提高轨道交通安全性具有重要意义。上海控安作为该标准的重要参编单位,依托在轨道交通领域安全软件研发与服务方面的深厚积累和丰富经验,为标准研制提供了有力的技术支持和实践应用案例。

《交通强国建设纲要》中明确指出,“完善交通基础设施安全技术标准规范,持续加大基础设施安全防护投入,提升关键基础设施安全防护能力”。软件是轨道交通系统的重要组成部分,随着以人工智能为代表的新兴技术不断融合与渗透,软件系统的复杂性、规模性以及迭代速度均达到了前所未有的高度,对软件质量与安全提出了更严苛的要求。

白盒测试方法,包括静态测试、单元测试和集成测试,作为确保软件安全可靠的重要手段,被广泛应用于代码的验证环节,能够高效探查软件中潜在的问题与漏洞。上海控安结合轨道交通领域软件测试实际需求,开发了相应的白盒测试工具,自研产品SmartRocket TestGrid嵌入式软件自动化测试平台支持C和C++语言,能够同时进行静态分析、单元测试、集成测试和目标机测试,全面覆盖软件测试的各个阶段,包括测试策划、测试设计和实现、测试执行以及测试总结,支持对目标机环境进行适配,多维度保障软件的安全性与可靠性,为轨道交通软件测试提供了全面、高效的解决方案。

SmartRocket TestGrid嵌入式软件自动化测试平台

此次参与《轨道交通安全软件白盒测试技术要求》团标编制,并获中国认证认可协会表彰,不仅是对上海控安标准研制与应用成效的高度认可,更体现了平台公司在轨道交通领域技术研发方面的专业实力和创新能力。未来,上海控安将始终致力于前沿技术创新,积极参与更多高水平标准研制,为我国轨道交通高质量发展贡献更多智慧力量。


阅读原文