【
仪表网 仪表产业】“工欲善其事,必先利其器”,当前软件质量度量与健壮性的问题已经成为了困扰我国
仪器仪表行业质量提升和产业升级过程面临的一道短板。然而,软件的质量度量与健壮性提升的安全目标,除了借助严谨的项目管理外,还需要通过严格分析、测试以及回归才能得到实现。特别是在安全相关系统的研制指导
标准GB/T20438(IEC61508)中,已经将静态分析、安全语言子集等作为实现安全完整性等级(SIL)的必要测试项目。未来,软测相关需求将在我国仪器仪表行业的发展过程中愈发凸显。
仪综所功能安全中心在多年从事仪器仪表可靠性研究的基础上,通过不断完善人才队伍,引进先进测试工具,完善了实施条件,具备了软件测试相关能力。在2019年先后为航天泰心、重庆川仪等一批仪器仪表企业的重点产品开展了软测工作。
功能安全中心在代码审查和代码质量度量实施过程中,结合测试工具对关键源代码进行扫描,并逐一分析,检查代码符合性以及逻辑正确性,同时进行控制流分析、数据流分析、接口分析等静态分析工作。在2019年先后为诺安环境的SNE808可燃气体报警控制器、航天泰心的左心室辅助装置控制器、重庆川仪HVP3X智能阀门定位器进行了代码审查,针对声明与定义、类型转换、表达式等21类软件编程中的常见问题,共提出源代码与标准不符合项共计300余条,并针对部分单元代码耦合度过高、圈复杂度过大的现象提出有针对性的修改建议。这些检查结果与修改建议,将有利于开发人员优化软件结构,降低模块复杂性,提高软件的安全性、可靠性与健壮性。
在完成静态测试的基础上,功能安全中心进一步开展了软件单元测试的工作。对软件单元的功能、接口等进行测试,采用等价类分析、边界数据值等方法设计测试用例,根据代码的重要等级实现语句覆盖或分支覆盖,并整理测试结果,编写测试报告。其中诺安的SNE808可燃气体报警控制器中的主控板组件软件、AI板组件软件和继电器输出板组件软件共设计并执行完成测试用例1943条,提出12个单元测试问题单,执行回归测试后问题全部修复,终完成测试并形成测试报告。