Инспекция кода автоматически сравнивает сгенерированный код со своей исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO - 178C и другие стандарты высокой целостности. Процесс инспекции кода создает представление в оперативной памяти модели, которая независима от процесса генерации кода. Simulink® Code Inspector™ систематически исследует блоки, параметры и настройки в модели, чтобы определить, эквивалентны ли они структурно операциям, операторам и данным в сгенерированном коде, и генерирует отчеты, которые могут использоваться, чтобы поддержать сертификацию программного обеспечения.
Аспекты модели Simulink, которые анализируются инспекцией кода, включают следующее:
Модель и совместимость кода
Интерфейс модели
Блокируйте поведение
Поведение Stateflow®
Блокируйте возможность соединения и порядок выполнения
Данные и упаковка файла
Локальные переменные
Параметры конфигурации
При разработке модели, из которой вы намереваетесь сгенерировать код, который будет проверен с помощью Simulink Code Inspector, можно инкрементно и итеративно проверять модель на совместимость с правилами Simulink Code Inspector. Проверка совместимости модели может значительно уменьшать количество времени, чтобы достигнуть удовлетворительных результатов инспекции кода путем представления проблем рано в процессе разработки моделей. Прежде, чем смотреть код для модели, необходимо проверять, что модель передает проверки совместимости Simulink Code Inspector. Для получения дополнительной информации смотрите Совместимость Модели.
Можно сгенерировать типовой кодекс, который будет смотреться как часть инспекции кода или выполнить генерацию кода и инспекцию кода как отдельные шаги. Смотреть сгенерированный .c и .h файлы, Simulink Code Inspector использует автоматически сгенерированный codeInfo.mat файл. codeInfo.mat файл содержит функциональную интерфейсную информацию.
Чтобы инициировать инспекцию кода для модели, которая передала проверки совместимости Simulink Code Inspector, можно сделать любое из следующего:
От окна модели, на вкладке Apps, выбирают Code Inspector. Используйте диалоговое окно Simulink Code Inspector для контроля кода системы управления. Для получения дополнительной информации смотрите, Смотрят Код Через Пользовательский интерфейс.
Используйте slci.Configuration взаимодействуйте через интерфейс к программно контролю кода системы управления. Для получения дополнительной информации смотрите, Смотрят Код Используя Интерфейс командной строки.
Инспекция кода генерирует подробный отчет HTML для каждой смотревшей модели. Если вы смотрели все модели в иерархии модели - ссылки, программное обеспечение отображает итоговый отчет HTML. Можно щелкнуть по ссылкам в сводном отчете HTML, чтобы просмотреть подробный отчет инспекции кода для каждой модели и модели, на которую ссылаются, которая смотрелась. Если вы смотрели только одну модель, результаты модели отображены непосредственно в подробном отчете инспекции кода.
Подробный отчет для верификации кода документов модели и результатов трассируемости. Отчет инспекции кода содержит следующие главные разделы:
Верификация кода — Сводные и подробные отчеты о верификации структурной эквивалентности между элементами модели и кода.
Трассируемость — Сводные и подробные отчеты о трассируемости модели к коду и кода к модели
Для компаний и организаций, которые должны сертифицировать программное обеспечение под DO - 178C, Simulink Code Inspector значительно уменьшает время и стоимость, сопоставленную с проверкой кода против требований. Вместо того, чтобы завершить руководство линию за линией рассмотрения кода с контрольным списком проекта, который время интенсивный и подверженный ошибкам, можно запустить Simulink Code Inspector и рассмотреть подробный акт осмотра. Для получения дополнительной информации об отчете инспекции кода, см. Отчеты Инспекции кода.
