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