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