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