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