Подробный отчет о инспекции кода для модели или модели-ссылки содержит разделы с именами Code Verification Results и Code Verification Details, которые предоставляют сводные и подробные отчеты о верификации структурной эквивалентности между моделью и кодом, сгенерированным из модели. Отчет о верификации кода предоставляет информацию о:
Верификация интерфейсов сгенерированного кода функций
Верификация структурной эквивалентности между моделью и кодом
Верификация исполняемых линий сгенерированного кода в каждой функции
Временное использование переменной
Верификация замен типов данных
Следующий пример выдержки из отчета показывает результаты верификации кода для сгенерированного кода, который структурно эквивалентен его соответствующей модели. Элементы модели, которые находятся вне поддерживаемого подмножества языка и соответствующих фрагментов кода, указаны как «Невозможно обработать» в отчете о верификации кода.
Эти Code Verification Results содержат:
Общее значение результата верификации кода агрегировано из подразделов отчета верификации кода. Возможные значения для Code Verification Results: «Проверено», «Частично проверено» или «Не удалось проверить».
Результаты верификации уровня подраздела:
Верификация функционального интерфейса
Модель для Верификации кода
Код для верификации модели
Временное использование переменной
Верификация типа данных на замену
Значения результатов верификации уровня подраздела агрегируются из статуса верификации каждого object (интерфейс функции, элемент модели, линия кода, временная переменная или использование типа) в подразделе. Каждый из подразделов возвращает значение «Проверено», «Частично проверено» или «Не удалось проверить».
Результаты верификации уровня объекта. Каждый интерфейс функции, элемент модели, линии кода, временная переменная или использование типа в подразделе возвращает значение статуса верификации.
| Элемент модели, Линия кода, интерфейс функции, временная переменная или использование типа | Возможный статус верификации |
|---|---|
Элементы модели:
Кодовые линии | Проверенный Частично обработано Не удается обработать Не удалось проверить |
Функциональные интерфейсы Временные переменные Использование типа | Проверенный Не удалось проверить |
Когда статус верификации уровня объекта агрегируется для создания значения статуса уровня подраздела, самый серьезный статус объекта становится статусом подраздела.
| Наиболее серьезное состояние уровня объекта | Результирующий статус уровня подраздела |
|---|---|
| Не удалось проверить | Не удалось проверить |
| Частично обработано или невозможно обработать | Частично верифицировано |
| Проверенный | Проверенный |
Соответственно, когда статус верификации уровня раздела агрегируется для получения Code Verification Results значения, самый тяжелый статус подраздела становится общим статусом верификации кода.
| Наиболее тяжелый статус уровня подсекции | Результат общего состояния верификации кода |
|---|---|
| Не удалось проверить | Не удалось проверить |
| Частично верифицировано | Частично верифицировано |
| Проверенный | Проверенный |
Следующий пример выдержки отчета иллюстрирует, как состояние верификации кода агрегируется, когда один или несколько объектов не проверяются.
