News
发布时间:2024-12-03 作者:上海工业控制安全创新科技有限公司 点击次数:次
11月28日,中国认证认可协会召开2024年度标准化工作会议,会上对2024年度标准应用典型案例进行表彰。上??匕膊伪嗟摹豆斓澜煌ò踩砑缀胁馐约际跻蟆罚═/CCAA 93-2024)团体标准入选“2024年度标准应用典型案例”。
《轨道交通安全软件白盒测试技术要求》由中铁检验认证中心有限公司(CRCC)主编,上??匕驳鹊ノ涣喜斡氡嘀?,经中国认证认可协会审核,于2024年9月2日批准发布实施。
该标准规定了轨道交通领域中,对于要求达到安全完整性等级(SIL)的软件在进行白盒测试时应遵循的技术要求和方法,明确了测试用例的编写原则和要素等内容,为确保软件的质量与可靠性、满足安全完整性等级验证提供了依据,有效填补了轨道交通领域安全软件白盒测试相关标准的空白,对提高轨道交通安全性具有重要意义。上??匕沧魑帽曜嫉闹匾伪嗟ノ唬劳性诠斓澜煌煊虬踩砑蟹⒂敕穹矫娴纳詈窕酆头岣痪?,为标准研制提供了有力的技术支持和实践应用案例。
《交通强国建设纲要》中明确指出,“完善交通基础设施安全技术标准规范,持续加大基础设施安全防护投入,提升关键基础设施安全防护能力”。软件是轨道交通系统的重要组成部分,随着以人工智能为代表的新兴技术不断融合与渗透,软件系统的复杂性、规模性以及迭代速度均达到了前所未有的高度,对软件质量与安全提出了更严苛的要求。
白盒测试方法,包括静态测试、单元测试和集成测试,作为确保软件安全可靠的重要手段,被广泛应用于代码的验证环节,能够高效探查软件中潜在的问题与漏洞。上海控安结合轨道交通领域软件测试实际需求,开发了相应的白盒测试工具,自研产品SmartRocket TestGrid嵌入式软件自动化测试平台支持C和C++语言,能够同时进行静态分析、单元测试、集成测试和目标机测试,全面覆盖软件测试的各个阶段,包括测试策划、测试设计和实现、测试执行以及测试总结,支持对目标机环境进行适配,多维度保障软件的安全性与可靠性,为轨道交通软件测试提供了全面、高效的解决方案。
SmartRocket TestGrid嵌入式软件自动化测试平台
此次参与《轨道交通安全软件白盒测试技术要求》团标编制,并获中国认证认可协会表彰,不仅是对上??匕脖曜佳兄朴胗τ贸尚У母叨热峡桑逑至似教ü驹诠斓澜煌煊蚣际跹蟹⒎矫娴淖ㄒ凳盗痛葱履芰?。未来,上??匕步贾罩铝τ谇把丶际醮葱拢斡敫喔咚奖曜佳兄?,为我国轨道交通高质量发展贡献更多智慧力量。