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