智能电能表软件可信保障技术白盒静态测试模型与编码规范探索

智能电能表软件质量越来越成为影响产品质量的关键因素,其目前黑盒测试技术在测试广度与深度方面度都存在客观的技术局限性,本文探索了软件可信保障白盒测试技术,提出一种智能电能表软件白盒静态测试模型。重点详细分析了电能表软件白盒静态测试的编码规范应用,采用著名的汽车工业软件MISRA-C编码规范,利用嵌入式软件白盒测试工具LDRA Testbed进行了电能表软件编码规范测试的有效性的分析。该内容的推广可为表计企业软件人员提高软件编写质量提供参考,为行业内制定智能电能表软件规范,提高软件可信性提供方法的借鉴。