Defining a test coverage criterion for model-level testing of FBD programs

The proposed coverage criterion is general and can be applied to real cases to improve the quality of data-flow program design.