Automatic Test Case Generation Based on Effective State Coverage
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.
automatic test case generationautomatic testingprotection systemsatisfiability modulo theories
万方数据
维普
