2014年11月3日, 北京大成通号轨道交通设备有限公司的地铁码发生器EN50128认证项目,成功通过铁路等行业的国际权威认证——英国劳氏认证,荣获Lloyd’s Register SIL-4级证书。该项目在认证资料准备过程中全面采用了bob半岛·体育提供的软件静态测试工具QAC 单元、集成测试工具Cantata和软件质量度量工具McCabe等。
Lloyd’s Register(英国劳氏船级社)是铁路行业软件认证的权威机构,创于250多年前。该认证对铁路软件的发布有严格的质量要求,各项度量和要求对测试人员的能力提出了严峻的挑战,各项度量结果的统计仅仅依靠人工是无法完成的任务。
2013年7月至2014年10月是该项目的测试阶段,军工中心软件工程部全体工程师为大成通号公司项目组提供全面的技术支持。bob半岛·体育所提供的QAC静态规则检查工具,遵循MISRA 2004标准,解决了人力分析效率底下的问题;Cantata单元与集成测试工具,凭借业界独有的AutoTest自动生成测试用例技术,极大的缩短了动态测试的周期;MCCABE软件度量工具,在数据流、控制流图方面,解决了人工分析效率不高、数据不客观的问题。