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

摘要：

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

关键词： 智能电能表 软件质量 可信性分析 白盒静态测试模型 编码规范

作者: 赵山 黄友朋 宋锡强 汪萍萍 胡珊妹

作者单位: 广东电网有限责任公司电力科学研究院,广州510080 华立仪表集团股份有限公司,杭州310023

会议类型: 国内会议

会议名称: 第六届电磁测量与仪表学术发展方向主题研讨会

会议地点: 南宁

会议语种:中文

页码: 221-225

在线出版日期: 2015-08-01（万方平台首次上网日期，不代表论文的发表时间）