Чтобы указать, что верификация должна быть выполнена на удаленном сервере, используйте опции настроек выполнения.
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Включите пакетный удаленный анализ |
Задайте опции анализа Polyspace
Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Отправьте анализ Polyspace с рабочего стола на удаленные серверы
Отправьте аналитические задания Polyspace в удаленный сервер от пользовательского интерфейса Polyspace.
Отправьте анализ Polyspace с рабочего стола на удаленные серверы Используя скрипты
Отправьте аналитические задания Polyspace в удаленный сервер при помощи пакетных файлов (.bat) или сценарии оболочки (.sh).