Defining a test coverage criterion for model-level testing of FBD programs
We propose a new structural test coverage criterion FPCC directly testing FBD programs. FPCC extends data-flow path concept along with function-level complete test sets. Fault masking situations are excluded in FPCC computation. Preliminary experiments show that FPCC is effective in detecting mutation errors. FPCC subsumes several contemporary test coverage criteria for data flow programs.
fbd test coverage criteria mc/dc ccc logical function mutation errors data-flow programs