Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Включить пакетный удаленный анализ |
Upload results to Polyspace Metrics (-add-to-results-repository) | Загрузить результаты анализа для просмотра на веб-панели мониторинга Polyspace Metrics |
polyspaceJobsManager | Управление заданиями Polyspace в кластере Parallel Server MATLAB |
polyspace.Project | Выполните анализ Polyspace для кода C и C++ и прочтите результаты |
Установка продуктов для отправки анализа Polyspace с настольных компьютеров на удаленный сервер
Настройте соединение сервер-клиент так, чтобы клиенты могли выгружать анализ Polyspace ® на удаленный сервер и загружать результаты после анализа.
Отправка анализа Polyspace с рабочего стола на удаленные серверы
Отправка заданий анализа Polyspace на удаленный сервер из пользовательского интерфейса Polyspace.
Отправка анализа Polyspace с рабочего стола на удаленные серверы с помощью сценариев
Отправка заданий анализа Polyspace на удаленный сервер с помощью пакетных файлов (.bat) или сценарии оболочки (.sh).
Выполнение анализа полиспейса с помощью сценариев MATLAB
Проверьте код C/C + + с помощью средства поиска ошибок или средства проверки кода с помощью M-файлов, выполните анализ локально на рабочем столе или удаленном сервере.