IR46智能电表软件白盒测试的基路径集生成方法研究

樊 博 梁 飞 黄吉涛 周媛奉 胡婷婷 郭林明 王文龙

1(国网宁夏电力有限公司电力科学研究院 宁夏 银川 750002)

2(四川大学电气工程学院 四川 成都 610065)

3(河南许继仪表有限公司 河南 许昌 461000)

0 引 言

智能电表是泛在电力物联网感知层中的关键器件。据国家电网的统计，目前60%智能电表的现场故障是由软件缺陷所引起的。作为新一代的智能电表，IR46智能电表[1]还需进行芯片参数整定、整机验证等测试。而智能电表作为典型的嵌入式产品，许多通用的测试软件并不能完全契合其要求[2]，为此本文提出白盒测试中一种新的基路径集生成方法。

白盒测试基于软件内部结构设计测试案例，能够充分测试程序内在逻辑，发现代码层面的错误。而基路径测试是语句覆盖率很高的白盒测试方法，发现错误的能力很强。基路径测试的不足是测试效率较低，为解决这个问题就需要改进基路径集生成方法[3]。现阶段，基路径集生成方法主要分为两种：基于图的方法和自动生成方法。基于图的方法是指在控制流图的基础上使用某种搜索算法来求取基路径集，该方法在处理复杂程序时效率较低，如基于图广度优先搜索[4]、图深度优先搜索[5]传统方法和基于元启发式算法的克隆选择算法[6]、遗传算法等[7]。自动生成方法使用某种方法识别程序结构，自动生成基路径集，如基于模型代数[8]、基于代码识别[9]等方法。该方法省去了程序到控制流图的转换工作，但要求程序符合规定的编程规范，限制了其在非结构代码上的应用。……