Используйте Polyspace® идентифицировать потенциальные ошибки, ошибки во время выполнения и стандартные нарушения кодирования в модели Simulink. Используйте Polyspace в двух различных шагах процесса верификации и валидации.
Прежде чем генерировать код, обнаружите и решите проблемы, которые могут быть введены пользовательским кодом в вашей модели. Блок C function, блок C caller и блок S function содержат пользовательский код. Смотрите Run Polyspace Analysis on Custom Code in Simulink Models.
После генерации кода анализируйте сгенерированный код на конкретные проблемы кода, которые могут не быть пойманы в модели, такие как ошибки из-за непроверенных частей модели или неправильных опций генерации кода. Смотрите Run Polyspace Analysis on Code Generated with Embedded Coder.
После интеграции Polyspace и MATLAB®можно запустить анализ Polyspace непосредственно с панели инструментов Simulink или использовать скрипты MATLAB для автоматизации анализа Polyspace. Смотрите Интегрирация Polyspace с MATLAB и Simulink и запустите анализ Polyspace с помощью скриптов MATLAB. Кроме того, сгенерируйте файлы опций из моделей Simulink и используйте эти файлы опций, чтобы запустить анализ Polyspace на сгенерированном коде в системной командной строке. Смотрите Запуск анализа Polyspace на сгенерированном коде при помощи файлов пакетных опций.
polyspacesetup | Интеграция установки Polyspace с Simulink |
pslinkrunCrossRelease | Анализируйте код C/C + +, сгенерированный R2020b или новыми версиями Embedded Coder, используя другую версию Polyspace, которая является более новой, чем версия Simulink |
pslinkoptions | Создайте объект опции, чтобы настроить строение модели Simulink, сгенерированного кода или блока S-Function. Используйте объект, чтобы задать опции строения для этих объектов Simulink в запуске Polyspace из командной строки MATLAB |
pslinkrun | Запустите анализ Polyspace на модели, системе или S-функции |
pslinkfun | Управляйте анализом модели в командной строке |
polyspacePackNGo | Сгенерируйте и упакуйте файлы опций, чтобы запустить анализ Polyspace на коде, сгенерированном из модели Simulink |
polyspace.ModelLinkOptions | Создайте объект строения проекта для выполнения анализа Polyspace на сгенерированном коде |
| pslinkoptions Properties | Свойства для pslinkoptions объект |
| polyspace.ModelLinkOptions Properties | Настройте анализ Polyspace сгенерированного кода со свойствами объекта опции |
Интеграция Polyspace с MATLAB и Simulink
Выполните шаг после установки, чтобы интегрировать Polyspace с MATLAB и Simulink.
Поддержка MATLAB и Simulink из различных релизов Polyspace
Проверьте, как Polyspace поддерживает ваш релиз MATLAB или Simulink.
Запустите анализ Polyspace на коде, сгенерированном Embedded Coder
Проверьте код, сгенерированный из моделей Simulink, на ошибки, ошибки времени выполнения или нарушения правил кодирования.
Запустите Polyspace на коде, сгенерированном использованием предыдущих релизов Simulink
Анализируйте код C/C + +, сгенерированный при помощи предыдущих релизов Embedded Coder® при помощи более новых релизов Polyspace.
Запустите анализ Polyspace на коде, сгенерированном с помощью TargetLink
Проверьте код, сгенерированный из моделей Simulink, на ошибки, ошибки времени выполнения или нарушения правил кодирования.
Запустите анализ Polyspace на сгенерированном коде при помощи файлов пакетных опций
Сгенерируйте файлы опций Polyspace из модели Simulink и используйте эти файлы опций для анализа сгенерированного кода при помощи Polyspace.
Анализируйте код, сгенерированный как автономный код в распределенном рабочем процессе (Simulink)
Руководство, показывающий анализ Polyspace автономного сгенерированного кода при помощи файлов упакованных опций в распределенном рабочем процессе.
Запустите анализ Polyspace на пользовательском коде в моделях Simulink
Анализируйте рукописный код C/C + +, чтобы обнаружить проблемы, которые могут привести к ошибкам во время выполнения или ошибкам в симуляции.
Запустите анализ Polyspace на коде S-функции
Руководство, показывающий Polyspace кода S-функции из Simulink.
Руководство, показывающий Polyspace анализ пользовательского кода в модели Simulink.
Запустите анализ Polyspace на пользовательском коде в блоке C Function
Руководство, показывающий анализ Polyspace пользовательского кода в блоке C Function в Simulink.
Рекомендуемые параметры конфигурации модели для анализа Polyspace
Для улучшения результатов Polyspace установите рекомендуемые параметры перед генерацией кода.
Настройте расширенные опции Polyspace в Simulink
Сконфигурируйте расширенные опции анализа Polyspace, такие как вычисления метрики кода или опции компилятора.
Как работает Polyspace сгенерированного кода
Polyspace извлекает имена функции из сгенерированного кода, чтобы создать main функция для анализа.
Опции Polyspace по умолчанию для кода, сгенерированного Embedded Coder
Некоторые опции Polyspace, такие как определения макросов и пути к папкам, заданы по умолчанию.
Опции Polyspace по умолчанию для кода, сгенерированного с помощью TargetLink
Некоторые опции Polyspace, такие как определения макросов и пути к папкам, заданы по умолчанию.
