Инспекция кода обзор

Инспекция кода автоматически сравнивает сгенерированный код со своей исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO-178C и других стандартах высокой целостности. Процесс инспекции кода создает представление в памяти модели, которое не зависит от процесса генерации кода. Simulink® Code Inspector™ систематически исследует блоки, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциям, операторам и данным в сгенерированном коде, и генерирует отчеты, которые могут использоваться для поддержки сертификации ПО.

Аспекты модели Simulink, которые анализируются при инспекции кода, включают следующее:

  • Совместимость модели и кода

  • Моделируйте интерфейс

  • Поведение блоков

  • Stateflow® поведение

  • Блокируйте связь и порядок выполнения

  • Упаковка данных и файлов

  • Локальные переменные

  • Параметры конфигурации

При разработке модели, из которой вы намерены сгенерировать код, который будет проверен с помощью Simulink Code Inspector, можно пошагово и итеративно проверить модель на совместимость с правилами Simulink Code Inspector. Проверка совместимости моделей может значительно сократить количество времени для достижения удовлетворительных результатов инспекции кода путем раскрытия проблем на ранних этапах процесса разработки модели. Прежде чем просматривать код для модели, необходимо проверить, что модель проходит проверку совместимости Simulink Code Inspector. Для получения дополнительной информации см. «Совместимость моделей».

Можно сгенерировать код модели, который будет проверяться как часть инспекции кода, или выполнить генерацию кода и инспекцию кода как отдельные шаги. Просмотр сгенерированных .c и .h файлы, Simulink Code Inspector использует автоматически сгенерированные codeInfo.mat файл. The codeInfo.mat файл содержит информацию о интерфейсе функции.

Чтобы инициировать инспекцию кода для модели, которая прошла проверку совместимости Simulink Code Inspector, можно сделать одно из следующих:

Инспекция кода генерирует подробный отчет HTML для каждой проверенной модели. Если вы просмотрели все модели в иерархии модели-ссылки, программное обеспечение отобразит сводный HTML-отчет. Можно щелкнуть ссылки в сводном отчете HTML, чтобы просмотреть подробный отчет инспекции кода для каждой модели и модели-ссылки, которая была проверена. Если вы проверили только одну модель, результаты модели отображаются непосредственно в подробном отчете о инспекции кода.

Подробный отчет для моделируемых документов верификации кода и трассируемости результаты. Отчет о инспекции кода содержит следующие основные разделы:

  • Верификация кода - Сводные и подробные отчеты по верификации структурной эквивалентности между элементами модели и кода.

  • Трассируемость - Сводные и подробные отчеты о трассируемости модели к коду и кода к модели

Для компаний и организаций, которые должны сертифицировать программное обеспечение под DO-178C, Simulink Code Inspector значительно сокращает время и затраты, связанные с проверкой кода на соответствие требованиям. Вместо заполнения линейных рассмотрений кода вручную контрольным списком проекта, который является интенсивным и подверженным ошибкам, можно запустить Simulink Code Inspector и просмотреть подробный отчет о проверке. Для получения дополнительной информации об отчете о инспекции кода см. Отчеты о инспекции кода.

Похожие темы