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