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 er-rors,redundancies and omissions.This study focuses on generation process of test cases in protection system valida-tion testing,and proposes an automatic test case generation method based on effective state coverage based on func-tional 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.
关键词
测试用例自动生成/自动测试/保护系统/可满足性模理论
Key words
automatic test case generation/automatic testing/protection system/satisfiability modulo theories
维普
万方数据