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