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