Quantitative measures of thoroughness of FBD simulations for PLC-based digital I&C system

An Empirical Evaluation of Coverage Criteria for FBD Simulation Using Mutation Analysis

“…Testing FBD software often performs simulation-based testing for functional verification. The previous study [2] proposed two sets of structural coverage criteria for simulation scenarios of FBD, toggle coverage (TC) and modified condition/decision coverage (MC/DC), also known as simulation coverages. The simulation coverages are similar to structural coverage criteria of software testing, however they are for structural elements of an FBD program and the software testing is for source codes.…”

“…This paper empirically evaluate the effectiveness of the simulation coverages [2] using mutation analysis. Software requires rigorous quality when developing safety critical systems such as digital I&Cs in nuclear power plants (NPPs).…”

“…If a test suite is adequate for an test criterion and detects mutants as much as the adequacy, the test criterion is effective to assess quality of the test suite. Using mutation analysis, this paper analyzes coverage criteria for FBD simulation proposed in the previous work[2].Shin[12] [13] analyzed FBD test coverage criteria using mutation analysis. The criteria measure coverages about testing of FBD programs.…”