Запуск с Simulink Code Inspector

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

Поддержка отраслевых стандартов доступна через DO Qualification Kit (for DO-178).

Руководства

• Сгенерированный код для выборки модели
  

  Выполните ключевые задачи в рабочем процессе верификации кода с помощью пользовательского интерфейса.

Об инспекции кода

• Зачем использовать этот продукт?
  

  Смотрите код, сгенерированный из моделей, и генерируйте отчеты о верификации кода для поддержки сертификации ПО.

• Подход к инспекции кода
  

  Достигайте DO-178C целей.

• Диалоговое окно Simulink Code Inspector
  

  Проверьте свою модель на совместимость и проверьте сгенерированный код.

• Ограничения на инспекцию кода
  

  Узнайте об ограничениях на обнаружение несовместимости модели и верификации сгенерированного кода.

Рекомендуемые примеры

Введение в Simulink Code Inspector

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

Открыть Live Script