1
Download MATLAB SIMULINK VERIFICATION AND VALIDATION - S User`s guide
Transcript
18 Coverage Collection During Simulation Note: See “How Stateflow Generates Content for Truth Tables” for a description of the graphical function for a truth table. Coverage for the decisions and their individual conditions in the ttable truth table function are as follows. Coverage Explanation No model coverage for the default decision, D5 All logic that leads to taking a default decision is based on a false outcome for all preceding decisions. This means that the default decision requires no logic, so there is no model coverage. 13% (1/8) decision coverage The three constants that are inputs to the truth table (1, 0, 0) cause only decision D1 to be true. These inputs satisfy only one of the eight decisions (D1 through D4, T or F). Because each condition can have an outcome value of T or F, three conditions can have six possible values. However, decision D4 has only decision coverage, not condition coverage or MCDC coverage, because it represents a decision with a single predicate. 18-70 3 of the 18 (17%) condition coverage Three decisions D1, D2, and D3 have condition coverage, because the set of inputs (1, 0, 0) make only decision D1 true. No (0/9) MCDC coverage MCDC coverage looks for decision reversals that occur because one condition outcome changes from T to F or F to T. The simulation tests only one set of inputs, so the model reverses no decisions. Missing coverage The red letters T and F indicate that model coverage is missing for those conditions. For decision D1, only the T decision is satisfied. For decisions D2, D3, and D4, none of the conditions are satisfied.
