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