Используйте Polyspace®, чтобы идентифицировать потенциальные ошибки, ошибки периода выполнения и кодирование стандартных нарушений в вашей модели Simulink. Используйте Polyspace на двух различных шагах процесса верификации и валидации.
Прежде, чем сгенерировать код, обнаружьте и решите проблемы, которые могут быть введены пользовательским кодом в вашей модели. Блок C function, блок C caller и блок S function содержат пользовательский код. Смотрите Анализ Polyspace Запуска Пользовательского кода в Моделях Simulink.
После генерации кода анализируйте сгенерировать код для конкретных проблем кода, которые не могут быть отловлены в модели, такой как ошибки из-за непротестированных частей или неправильных опций генерации кода модели. Смотрите Анализ Polyspace Запуска Кода, Сгенерированного с 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.
Поддержка Polyspace MATLAB и Simulink от различных релизов
Проверяйте, как 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 в Simulink.
Рекомендуемые параметры конфигурации модели для анализа Polyspace
Для лучших результатов Polyspace, установленных рекомендуемые параметры прежде, чем сгенерировать код.
Сконфигурируйте усовершенствованные опции Polyspace в Simulink
Сконфигурируйте усовершенствованные опции анализа Polyspace, такие как метрические вычисления кода или параметры компилятора.
Как анализ Polyspace работ сгенерированного кода
Polyspace извлекает имена функций из сгенерированного кода, чтобы создать main функция для анализа.
Опции Polyspace по умолчанию для кода, сгенерированного с Embedded Coder
Некоторые опции Polyspace, такие как макроопределения и пути, чтобы включать папки установлены по умолчанию.
Опции Polyspace по умолчанию для кода, сгенерированного с TargetLink
Некоторые опции Polyspace, такие как макроопределения и пути, чтобы включать папки установлены по умолчанию.
