通信设备嵌入式软件时序测试用例生成算法研究  

Research on algorithm for generating sequential test cases of embedded software in communication equipment

作　　者：潘涛 梁发亮 岳龙 PAN Tao;LIANG Fa-liang;YUE Long(Inner Mongolia Power(Group)Co.,Ltd.,Inner Mongolia Power Research Institute Branch Institute of Information and Communication Technology Inner Mongolia,Hohhot 010020,China;Inner Mongolia Power(Group)Co.,Ltd.,Wuhai Extra High Voltage Power Supply Branch,Wuhai 016000,Inner Mongolia Autonomous Region,China)

机构地区：[1]内蒙古电力(集团)有限责任公司内蒙古电力科学研究院分公司信息通信技术研究所,呼和浩特010020 [2]内蒙古电力(集团)有限责任公司乌海超高压供电分公司,内蒙古乌海016000

出　　处：《信息技术》2025年第4期168-173,179,共7页Information Technology

摘　　要：为验证通信设备在实际中的应用性能,研究通信设备嵌入式软件时序测试用例生成算法。利用场景技术生成通信设备嵌入式软件脚本,通过UML状态图增强有限状态机模型,建立通信设备嵌入式软件时序EFSM模型,设计状态、转移、动作转换原则,定义测试覆盖准则,使用深度搜索方式遍历通信设备嵌入式软件时序EFSM模型路径节点后,得到最优通信设备嵌入式软件测试用例。实验结果表明:该方法可有效生成通信设备嵌入式软件时序测试用例,且时序测试用例时遍历路径节点数量较多,测试用例占用报文比例较高,具有较好的应用效果。In order to verify the application performance of communication equipment in practice,the algorithm of time sequence test case generation for embedded software of communication equipment is studied.Scene technology was used to generate embedded software scripts for communication devices,the finite state machine model was enhanced by UML state diagram,the EFSM model for embedded software of communication devices was established,the principles of state,transfer and action transformation were designed,and the test coverage criteria were defined.After traversing the path nodes of EFSM model for embedded software of communication devices by deep search method,the optimal embedded software test cases of communication devices are obtained.The experimental results show that this method can effectively generate the timing test cases of embedded software of communication devices,and the number of traversal path nodes and the proportion of packets occupied by the test cases in the timing test cases are large,and it has a good application effect.

关 键 词：通信设备 嵌入式 软件时序 测试用例 生成算法 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]