Инспекция кода автоматически сравнивает сгенерированный код со своей исходной моделью, чтобы удовлетворить цели рассмотрения кода в 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, можно сделать любое из следующего:
От окна модели выберите Code> Simulink Code Inspector и используйте диалоговое окно Simulink Code Inspector для контроля кода системы управления. Для получения дополнительной информации смотрите, Осматривают Код Через Пользовательский интерфейс.
Используйте интерфейс slci.Configuration для программно контроля кода системы управления. Для получения дополнительной информации смотрите, Осматривают Код Используя Интерфейс командной строки.
Инспекция кода генерирует подробный отчет HTML для каждой осмотренной модели. Если вы осмотрели все модели в иерархии модели - ссылки, программное обеспечение отображает итоговый отчет HTML. Можно щелкнуть по ссылкам в сводном отчете HTML, чтобы просмотреть подробный отчет инспекции кода для каждой модели и модели, на которую ссылаются, которая была осмотрена. Если вы осмотрели только одну модель, образцовые результаты отображены непосредственно в подробном отчете инспекции кода.
Подробный отчет для образцовой верификации кода документов и результатов трассируемости. Отчет инспекции кода содержит следующие главные разделы:
Верификация кода — Сводные и подробные отчеты о верификации структурной эквивалентности между элементами модели и кода.
Трассируемость — Сводные и подробные отчеты о трассируемости модели к коду и кода к модели
Для компаний и организаций, которые должны сертифицировать программное обеспечение под DO - 178C, Simulink Code Inspector значительно уменьшает время и стоимость, сопоставленную с проверкой кода против требований. Вместо того, чтобы завершить руководство линию за линией рассмотрения кода с контрольным списком проекта, который время интенсивный и подверженный ошибкам, можно запустить Simulink Code Inspector и рассмотреть подробный акт осмотра. Для получения дополнительной информации об отчете инспекции кода, см. Отчеты Инспекции кода.
