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

Смотрите код и анализируйте результаты

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

Для введения в осмотр кода и анализ инспекционных результатов, см. Обзор Инспекции кода.

Приложения

Code InspectorСравните сгенерированный код с его исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO-178 и других стандартах высокой целостности

Функции

развернуть все

slci.ConfigurationСоздайте объект инспекции кода к контролю кода системы управления и проверке совместимости модель
getCodeFolderПапка кода возврата для инспекции кода
getCodePlacementРазмещение кода возврата для инспекции кода
getGenerateCodeВозвратите опцию для генерации кода перед инспекцией кода
getIncludeTopModelChecksumForRefModelsВозвратите опцию для включения контрольной суммы топ-модели для моделей, на которые ссылаются,
getInspectSharedUtilsВозвратите опцию для осмотра разделяемых утилит, сгенерированных для текущей модели
getReportFolderВозвратите папку отчета для инспекции кода
getTerminateOnIncompatibilityВозвратите инспекционную опцию завершения для несовместимости модели
getTopModelВозвратите атрибут топ-модели для инспекции кода
getDisableNonInlinedFuncBodyVerificationВозвратите опцию для отключения контроля невстроенных функций, определяемых в блоках MATLAB function
setCodeFolderЗадайте папку кода для инспекции кода
setCodePlacementЗадайте размещение кода для инспекции кода
setGenerateCodeЗадайте, сгенерировать ли код перед инспекцией кода
setIncludeTopModelChecksumForRefModelsЗадайте, включать ли контрольную сумму топ-модели для моделей, на которые ссылаются,
setInspectSharedUtilsЗадайте, смотреть ли поддерживаемые разделяемые утилиты, сгенерированные от текущей модели
setReportFolderЗадайте папку отчета для инспекции кода
setTerminateOnIncompatibilityЗадайте, отключить ли инспекцию кода, если модель приводит проверку совместимости к сбою
setTopModelЗадайте, является ли модель, сконфигурированная для инспекции кода, топ-моделью
setDisableNonInlinedFuncBodyVerificationЗадайте, запретить ли контроль невстроенных функций, определяемых в блоках MATLAB function
slci.mlutil.reviewmodeУкажите, что невстроенные функции, сгенерированные от функций MATLAB, заданных в блоках MATLAB function, требуют ручного анализа
inspectСмотрите код, сгенерированный из модели
slci.ExportTraceReportСгенерируйте файл XLS, который содержит матрицу трассируемости
setCustomerReportDataВключайте пользовательскую информацию, заданную в массив структур в отчете инспекции кода
setCustomerReportDataJsonВключайте пользовательскую информацию, заданную в файл JSON в отчете инспекции кода
getCustomerReportDataВозвратите массив структур, который содержит пользовательскую информацию, включенную в отчет инспекции кода

Темы

Смотрите код

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

Сравните сгенерированный код с его исходной моделью, чтобы удовлетворить целям рассмотрения кода в DO - 178C и другие высокие стандарты целостности.

Приблизьтесь к инспекции кода

Соответствуйте своему DO - 178C цели.

Смотрите сгенерированный код при помощи приложения Code Inspector

Используйте приложение Code Inspector, чтобы смотреть код, сгенерированный из модели.

Смотрите код Используя интерфейс командной строки

Контроль кода системы управления программно с интерфейсом slci.Configuration.

Включите пользовательскую информацию в отчет инспекции кода

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

Отключите контроль для невстроенных функций, определяемых в блоках MATLAB function

Отключите контроль невстроенных функций, сгенерированных от несовместимых пользовательских функций MATLAB.

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

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

Изменения в рабочем процессе инспекции кода в R2021b

Диалоговое окно Simulink Code Inspector было удалено, и вкладка Code Inspector заменяет функциональности, которые были в диалоговом окне.

Интерпретируйте и анализируйте результаты

Отчеты инспекции кода

Детальный анализ структурной эквивалентности и двусторонней отслеживаемости между моделью и сгенерированным кодом.

Интерпретируйте полный инспекционный результат

Узнать, как верификация кода и результаты трассируемости агрегированы в полный результат.

Анализируйте результаты верификации кода

Рассмотрите результаты верификации кода на верификации структурной эквивалентности между типовым кодексом и сгенерированным кодом.

Анализируйте результаты трассируемости

Рассмотрите результаты трассируемости на двунаправленном отображении модели к коду.

Шаблоны модели, которые могут привести к отказам верификации кода

Исследуйте примеры моделирования шаблонов, которые могут привести к отказу верификации кода.

Сгенерируйте матрицы трассируемости

Матрицы трассируемости

Трассируемость среди объектов модели, сгенерированного кода и требований модели.

Необходимые условия для генерации матрицы трассируемости

Выполните требуемые шаги прежде, чем сгенерировать матрицу трассируемости для объектов модели, сгенерированного кода и требований модели.

Сгенерируйте матрицу трассируемости

Используйте приложение Code Inspector, чтобы сгенерировать матрицу трассируемости.

Сгенерируйте матрицу трассируемости программно

Сгенерируйте матрицу трассируемости из командной строки MATLAB.

Добавьте комментарии в матрицу трассируемости

Можно добавить комментарии в сгенерированную матрицу трассируемости.

Сохраните комментарии при регенерации матрицы трассируемости

Регенерируйте и повторно смотрите код для своей модели, чтобы сохранить комментарии в матрице трассируемости.

Матричные ограничения трассируемости

Исследуйте ограничения, когда вы сгенерируете матрицу трассируемости.