Настройки выполнения

Задайте удаленную верификацию

Чтобы указать, что верификация должна быть выполнена на удаленном сервере, используйте опции настроек выполнения.

Опции анализа

Run Bug Finder or Code Prover analysis on a remote cluster (-batch)Включите пакетный удаленный анализ

Темы

Задайте опции анализа Polyspace

Задайте Polyspace® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

Отправьте анализ Polyspace с рабочего стола на удаленные серверы

Отправьте аналитические задания Polyspace в удаленный сервер от пользовательского интерфейса Polyspace.

Отправьте анализ Polyspace с рабочего стола на удаленные серверы Используя скрипты

Отправьте аналитические задания Polyspace в удаленный сервер при помощи пакетных файлов (.bat) или сценарии оболочки (.sh).