| Element | Missed Instructions | Cov. | Missed Branches | Cov. | Missed | Cxty | Missed | Lines | Missed | Methods | Missed | Classes |
| Total | 2,400 of 12,921 | 81% | 387 of 1,537 | 74% | 328 | 1,007 | 571 | 3,020 | 16 | 229 | 0 | 14 |
| AadlBaNameResolver.java | | 74% | | 71% | 128 | 356 | 242 | 978 | 3 | 72 | 0 | 1 |
| AadlBaTypeChecker.java | | 86% | | 78% | 125 | 409 | 221 | 1,393 | 6 | 88 | 0 | 5 |
| DeclarativeUtils.java | | 34% | | 15% | 15 | 18 | 32 | 54 | 4 | 5 | 0 | 1 |
| AadlBaConsistencyRulesChecker.java | | 23% | | 20% | 10 | 13 | 34 | 49 | 1 | 3 | 0 | 1 |
| AdaLikeDataTypeChecker.java | | 85% | | 80% | 14 | 49 | 16 | 117 | 0 | 10 | 0 | 1 |
| AadlBaLegalityRulesChecker.java | | 95% | | 84% | 22 | 85 | 11 | 250 | 0 | 15 | 0 | 1 |
| AadlBaSemanticRulesChecker.java | | 80% | | 63% | 9 | 21 | 10 | 48 | 1 | 6 | 0 | 1 |
| AadlBaRulesCheckersDriver.java | | 97% | | 93% | 3 | 43 | 3 | 102 | 0 | 19 | 0 | 2 |
| TypeHolder.java | | 91% | 75% | 2 | 13 | 2 | 29 | 1 | 11 | 0 | 1 |