При проверке кода создается отчет по проверке кода HTML для модели Simulink ® и созданного кода. Отчет содержит подробный анализ структурной эквивалентности и двунаправленной прослеживаемости между моделью и кодом, сгенерированным на основе модели.
Проверка кода автоматически сравнивает сгенерированный код с его исходной моделью в соответствии с целями проверки кода в DO-178C и другими высокими стандартами целостности. Процесс проверки кода создает представление модели в памяти, которое не зависит от процесса генерации кода. Inspector™ Simulink Code систематически анализирует блоки, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциям, операторам и данным в сгенерированном коде, и создает отчеты, которые могут использоваться для поддержки сертификации программного обеспечения.
Проверка кода Simulink Code Inspector выполняет проверку перевода. Входными данными для инспектора кода Simulink являются модель Simulink и исходный код C, сгенерированный генератором кода Embedded Coder ® для модели. Инспектор кода Simulink обрабатывает эти два ввода во внутренние представления (IR), называемые модель IR и код IR. Эти IR преобразуются в нормализованные представления для облегчения дальнейшего анализа. В этом процессе модель IR представляет ожидаемый шаблон, а код IR представляет фактический шаблон, подлежащий проверке. Чтобы проверить созданный код, инспектор кода Simulink пытается сопоставить нормализованную модель IR с нормализованным кодом IR.
Примечание
Проверка кода Simulink Code Inspector была реализована независимо от генерации кода Embedded Coder. В частности, IR, используемые инспектором кода Simulink, отличаются от IR, используемых генератором кода.
Использование методов нормализации позволяет инспектору кода Simulink проверять код, генерируемый генератором кода с высокой степенью оптимизации. Результаты этого процесса сопоставления сообщаются пользователю посредством отчета о проверке кода и отчета об отслеживаемости. По завершении проверки кода отчет проверки кода документирует процесс проверки перевода, а отчет отслеживания обеспечивает двунаправленное отображение между элементами модели и их аналогами в сгенерированном коде. Элементами модели являются блоки Simulink, диаграммы Stateflow ®, состояния Stateflow и переходы Stateflow.
Результаты проверки кода представлены иерархически. Сводный отчет содержит список модели верхнего уровня, а если проверка кода охватывала ссылочные модели, то каждая модель в иерархии привязок модели. Для каждой модели сводный отчет предоставляет агрегированную информацию о статусе и ссылку на подробный отчет по проверке кода для модели.
Подробные отчеты по проверке кода содержат следующую информацию для каждой модели:
Общий результат проверки - Пройдено, Предупреждение или Сбой - на основе агрегированного статуса результатов проверки кода и прослеживаемости
Результаты проверки кода - Сводные и подробные отчеты по проверке структурной эквивалентности между моделью и элементами кода
Результаты отслеживания - сводные и подробные отчеты о двунаправленном сопоставлении модели и кода