Можно разгрузить анализ Программы автоматического доказательства Кода к выделенному серверу и загрузить результаты анализа на рабочий стол для анализа.
Установите продукты для представления анализа Polyspace с рабочих столов на удаленный сервер
Сконфигурируйте связь клиента сервера так, чтобы клиенты могли разгрузить анализ Polyspace® к удаленному серверу и загрузить результаты после анализа.
Отправьте анализ Polyspace с рабочего стола на удаленные серверы
Отправьте аналитические задания Polyspace в удаленный сервер от пользовательского интерфейса Polyspace.
Отправьте анализ Polyspace с рабочего стола на удаленные серверы Используя скрипты
Отправьте аналитические задания Polyspace в удаленный сервер при помощи пакетных файлов (.bat) или сценарии оболочки (.sh).
