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