Инспекция кода сравнивает сгенерированный код C с его исходной моделью, чтобы определить структурную эквивалентность. Прежде чем просматривать сгенерированный код, проверяйте, что ваша модель проходит Simulink®Проверки совместимости Code Inspector™. После инспекции кода отчет предоставляет лучший метод проверки вашего кода на соответствие требованиям, чем ручные линейные рассмотрения кода. Отчет включает детальный анализ структурной эквивалентности и двусторонней отслеживаемости между моделью и сгенерированным кодом.
Для получения информации о проверке кода и анализе результатов проверки см. Обзор инспекции кода.
Сравните сгенерированный код с его исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO-178C и других высоких стандартах целостности.
Достигайте DO-178C целей.
Смотрите код через пользовательский интерфейс
Просмотрите сгенерированный код в диалоговом окне Simulink Code Inspector.
Смотрите код с помощью интерфейса командной строки
Программно проконтролируйте проверку кода с помощью slci. Строение.
Узнайте об ограничениях на обнаружение несовместимости модели и верификации сгенерированного кода.
Детальный анализ структурной эквивалентности и двусторонней отслеживаемости между моделью и сгенерированным кодом.
Интерпретируйте общий результат проверки
Узнайте, как результаты верификации кода и трассируемости агрегируются в общий результат.
Анализ результатов верификации кода
Просмотрите результаты верификации кода по проверке структурной эквивалентности между моделью и сгенерированным кодом.
Анализ результатов трассируемости
Проверьте результаты трассируемости при двунаправленном отображении модели в код.
Шаблоны модели, которые могут привести к отказам верификации кода
Исследуйте примеры шаблонов моделирования, которые могут привести к отказу верификации кода.
Трассируемость среди объектов модели, сгенерированного кода и требований модели.
Трассируемость Матрицы ограничения
Исследуйте ограничения, когда вы генерируете матрицу трассируемости.
Сгенерируйте матрицу трассируемости
Создайте матрицу трассируемости, которая обеспечивает трассируемость среди объектов модели, сгенерированного кода и требований модели.
Добавление комментариев к матрице трассируемости
Можно добавить комментарии к сгенерированной матрице трассируемости.
Сохраните комментарии при регенерации матрицы трассируемости
Перегенерируйте и повторно отследите код для вашей модели, чтобы сохранить комментарии в матрице трассируемости.
Необходимые условия для генерации матрицы трассируемости
Выполните необходимые шаги перед генерацией матрицы трассируемости для объектов модели, сгенерированного кода и требований модели.
