This change has been incorporated into the documentation in Release 2009b (R2009b). For previous releases, read below for any additional information:
Below is the explanation as to why condition coverage and MCDC results are not always included in a model coverage report:
When you collect coverage for truth tables, the Model Coverage tool treats the value of condition expressions as simple Boolean inputs. For a condition such as "A&&B", the values of A and B are not separated for coverage purposes; but the expression value is considered as an input to determine coverage. This is a known limitation of the Model Coverage tool based on the way that truth tables are implemented in Stateflow.
Condition coverage and MCDC occur when columns in the truth table specify more than one non-default entry (either T or F). In this situation, the conditions and MCDC requirements are based on the table entries. Each element in the condition table must independently cause the column to change from satisfied to unsatisfied to fulfill MCDC coverage.
If every row of a truth table decision column specifies "-", except for a single row that specifies either T or F, the column will receive only decision coverage because it represents a decision with a single predicate. The attached model demonstrates this situation; therefore, the table receives no condition or MCDC coverage. On the other hand, if the columns of the decision table specified more than one T or F, it would receive condition and MCDC coverage.
Best Answer