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