| caseAnnexSubclause(AnnexSubclause) |  | 100% |  | 92% | 1 | 8 | 0 | 20 | 0 | 1 |
| otherwiseCheck(BehaviorAnnex) | | 100% | | 100% | 0 | 9 | 0 | 22 | 0 | 1 |
| caseBehaviorTransition(BehaviorTransition) | | 100% | | 100% | 0 | 4 | 0 | 15 | 0 | 1 |
| caseIfStatement(IfStatement) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseDispatchCondition(DispatchCondition) | | 100% | | 100% | 0 | 2 | 0 | 4 | 0 | 1 |
| caseDispatchTriggerConditionStop(DispatchTriggerConditionStop) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseDispatchRelativeTimeout(DispatchRelativeTimeout) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseCompletionRelativeTimeout(CompletionRelativeTimeout) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| reportWarning(BehaviorElement, String) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| caseBehaviorActionBlock(BehaviorActionBlock) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseBehaviorActionCollection(BehaviorActionCollection) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseElseStatement(ElseStatement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseLoopStatement(LoopStatement) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| caseTimedAction(TimedAction) | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| {...} | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |