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