基于UML状态图的PLC程序测试路径生成方法  

Test Path Generation Method for PLC Program Based on UML State Diagram

作　　者：聂红红 高伟哲 Nie Honghongg;Gao Weizhe

机构地区：[1]兰州工业学院,兰州730050

出　　处：《上海电气技术》2024年第2期44-47,共4页Journal of Shanghai Electric Technology

摘　　要：为了提高可编程序控制器程序的测试效率,提出一种基于统一建模语言状态图的可编程序控制器程序测试路径生成方法。这一方法利用反蚁群算法生成测试路径,可以避免测试路径过多导致的爆炸问题。通过人工蚂蚁搜索未被遍历或信息素最小的顶点,得到测试路径,在满足测试路径充分性覆盖准则的同时,确保数量适中。通过案例试验,验证了方法的可行性和有效性,能够避免与其它文本重复。In order to improve the test efficiency of PLC program,a test path generation method was proposed for PLC program based on UML state diagram.This method uses anti-ant colony algorithm to generate test path,which can avoid the explosion problem caused by too many test paths.The test path was obtained by artificial ant searching for vertice that has not been traversed or has the smallest pheromone,ensuring that the number is moderate while satisfying adequacy coverage criterion for test path.Through test case,the feasibility and effectiveness of the method were verified,which can avoid duplication with other texts.

关 键 词：统一建模语言 状态图 可编程序控制器 程序 测试 路径 

分 类 号：TP342.3[自动化与计算机技术—计算机系统结构]