Подробный отчет по проверке кода для модели или подмодели содержит раздел заголовка, который включает значение «Общий результат проверки» для модели - «Пройдено», «Предупреждение» или «Сбой» - на основе агрегированного статуса результатов проверки кода и отслеживания.
Значение «Общий результат проверки» агрегируется из следующих значений:
Результаты проверки кода - общий результат проверки кода, агрегированный из подразделов отчета о проверке кода. Возможные значения: Проверено, Частично проверено или Не удалось проверить. Дополнительные сведения о агрегировании значения результатов проверки кода см. в разделе Анализ результатов проверки кода.
Результаты отслеживания - общий результат отслеживания, агрегированный из подразделов отчета об отслеживании. Возможные значения: Traced, Partially traced или Failed to trace. Дополнительные сведения о том, как агрегируется значение результатов отслеживания, см. в разделе Анализ результатов отслеживания.
В следующей таблице показано, как результаты проверки кода и отслеживания агрегируются в общий результат проверки.
| Проверенный | Частично проверено | Не удалось проверить | |
| Прослеженный | Переданный | Предупреждение | Неудавшийся |
| Частично прослеживается | Предупреждение | Предупреждение | Неудавшийся |
| Не удалось выполнить трассировку | Неудавшийся | Неудавшийся | Неудавшийся |