Coverage metrics for functional tests
J.R. Wallack, Rajeshwaran Dandapani · 2002
Describes test quality measures that quantify the completeness of a functional test. The measures are based on exercising a functional model of the unit with the given set of test sequences. Two metrics are proposed: the control-flow coverage (FC1) indicates how completely the logical flow of the functional model is traversed, and the data path coverage (FC2) indicates how completely the data paths have been exercised over a specified set of observable values. The metrics were evaluated using an RTL model of a RISC processor and a combinational circuit.>