pslinkoptions | Создайте объект опции, чтобы настроить строение модели Simulink, сгенерированного кода или блока S-Function. Используйте объект, чтобы задать опции строения для этих объектов Simulink в запуске Polyspace из командной строки MATLAB |
pslinkrun | Запустите анализ Polyspace на модели, системе или S-функции |
Запустите Polyspace на коде C/C + +, сгенерированном из кода MATLAB
Запуск Polyspace® по сгенерированному коду и проверить на ошибки времени выполнения.
Настройте расширенные опции Polyspace в приложении MATLAB Coder
Сконфигурируйте расширенные опции анализа Polyspace, такие как вычисления метрики кода или опции компилятора.
