Проверка кода сравнивает сгенерированный код C с его исходной моделью для определения структурной эквивалентности. Перед проверкой созданного кода убедитесь, что модель прошла проверку совместимости Inspector™ кода Simulink ®. После проверки кода отчет предоставляет более эффективный метод проверки кода на соответствие требованиям, чем ручные проверки кода. Отчет включает подробный анализ структурной эквивалентности и двунаправленной прослеживаемости между моделью и сгенерированным кодом.
Введение в проверку кода и анализ результатов контроля см. в разделе Обзор проверки кода.
Сравнение сгенерированного кода с его исходной моделью для соответствия целям проверки кода в DO-178C и другим высоким стандартам целостности.
Достигайте своих DO-178C целей.
Проверка кода через интерфейс пользователя
Проверьте созданный код с помощью диалогового окна «Инспектор кода Simulink».
Проверка кода с помощью интерфейса командной строки
Контроль кода управления программным способом с помощью slci. Конфигурационный интерфейс.
Узнайте об ограничениях на обнаружение несовместимости моделей и проверку сгенерированного кода.
Подробный анализ структурной эквивалентности и двунаправленной прослеживаемости между моделью и сгенерированным кодом.
Интерпретация общего результата проверки
Узнайте, как результаты проверки кода и отслеживания объединяются в общий результат.
Анализ результатов проверки кода
Анализ результатов проверки кода при проверке структурной эквивалентности между моделью и сгенерированным кодом.
Анализ результатов отслеживания
Просмотрите результаты отслеживания двунаправленного сопоставления модели и кода.
Шаблоны моделей, которые могут привести к сбоям проверки кода
Изучите примеры моделей, которые могут привести к сбою проверки кода.
Отслеживание объектов модели, сгенерированного кода и требований модели.
Ограничения матрицы отслеживания
Изучение ограничений при создании матрицы отслеживания.
Создайте матрицу отслеживания, которая обеспечивает отслеживание объектов модели, созданного кода и требований модели.
Добавление комментариев к матрице отслеживания
В созданную матрицу отслеживания можно добавить комментарии.
Сохранение комментариев при регенерации матрицы отслеживания
Регенерация и повторная проверка кода модели для сохранения комментариев в матрице отслеживания.
Предпосылки для создания матрицы отслеживания
Выполните необходимые шаги перед созданием матрицы отслеживания для объектов модели, сгенерированного кода и требований модели.