Подробный отчет о инспекции кода для модели или подмодели содержит раздел заголовка, который включает Overall Inspection Result значение для модели - Passed, Warning или Failed - на основе агрегированного статуса результатов верификации кода и трассируемости.
Значение Overall Inspection Result агрегируется из следующих значений:
Code Verification Results - общий результат верификации кода, агрегированный из подразделов отчета верификации кода. Возможные значения: «Проверено», «Частично проверено» или «Не удалось проверить». Дополнительные сведения об агрегировании значения Code Verification Results см. в разделе Анализ результатов верификации кода.
Traceability Results - общий результат трассируемости, агрегированный из подразделов отчета о трассируемости. Возможные значения: трассировка, частичная трассировка или неудача трассировки. Для получения дополнительной информации об агрегировании значения Traceability Results смотрите Анализ результатов трассируемости.
В следующей таблице показов, как результаты верификации кода и трассируемости агрегируются в Overall Inspection Result.
Проверенный | Частично верифицировано | Не удалось проверить | |
Прослеженный | Переданный | Предупреждение | Неудавшийся |
Частично прослеживается | Предупреждение | Предупреждение | Неудавшийся |
Не удалось проследить | Неудавшийся | Неудавшийся | Неудавшийся |