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

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

为了提高可编程序控制器程序的测试效率,提出一种基于统一建模语言状态图的可编程序控制器程序测试路径生成方法。这一方法利用反蚁群算法生成测试路径,可以避免测试路径过多导致的爆炸问题。通过人工蚂蚁搜索未被遍历或信息素最小的顶点,得到测试路径,在满足测试路径充分性覆盖准则的同时,确保数量适中。通过案例试验,验证了方法的可行性和有效性,能够避免与其它文本重复。

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.