Чтобы указать, что верификация должна выполняться на удаленном сервере, используйте опции запуска.
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® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Отправка анализа Polyspace с рабочего стола на удаленные серверы
Отправка заданий анализа Polyspace на удаленный сервер из пользовательского интерфейса Polyspace.
Отправка анализа Polyspace с рабочего стола на удаленные серверы с помощью скриптов
Отправка заданий анализа Polyspace на удаленный сервер с помощью пакетных файлов (.bat
) или интерпретатор скрипты (.sh
).