基于有效状态覆盖的测试用例自动生成方法  

Automatic Test Case Generation Based on Effective State Coverage

作　　者：王淼 青先国[1] 刘宏春[1] 孙诗炎[1] WANG Miao;QING Xianguo;LIU Hongchun;SUN Shiyan(Science and Technology on Reactor System Design Technology Laboratory,Nuclear Power Institute of China,Chengdu 610213,China)

机构地区：[1]中国核动力研究设计院核反应堆系统设计技术重点实验室,成都610213

出　　处：《自动化与仪表》2024年第10期5-8,13,共5页Automation & Instrumentation

摘　　要：为执行反应堆保护系统工厂测试阶段的确认测试,通常由测试工程师手动编写测试用例,耗费大量人力和时间成本,且可能出现错误、冗余或遗漏。该研究以保护系统确认测试中测试用例生成过程为研究对象,以功能图为依据,提出一种基于有效状态覆盖的测试用例自动生成方法。该方法以保护系统功能逻辑为约束,实现对模块功能和链路的有效状态覆盖,生成充分且高效的测试用例。实验表明,相比常用的测试用例生成方法,该研究提出的方法可在满足测试充分性的情况下尽可能减少用例数量,提高测试效率。To perform validation testing during the factory testing phase of the reactor protection system,test cases are usually manually written by testing engineers,which consumes a lot of manpower and time cost,and may result in errors,redundancies and omissions.This study focuses on generation process of test cases in protection system validation testing,and proposes an automatic test case generation method based on effective state coverage based on functional diagrams.This method is constrained by the functional logic of the protection system,achieving effective state coverage of module functions and links,and generating sufficient and efficient test cases.Experiments have shown that compared to commonly used test case generation methods,the method proposed in this study can minimize the number of test cases and improve testing efficiency while meeting testing adequacy requirements.

关 键 词：测试用例自动生成 自动测试 保护系统 可满足性模理论 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]