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