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 в кластере MATLAB Parallel Server |
polyspace.Project | Запустите анализ Polyspace на C и Код С++ и прочтите результаты |
Установите продукты для отправки анализа Polyspace с рабочих столов на удаленный сервер
Сконфигурируйте подключение сервера к клиенту, чтобы клиенты могли разгрузить Polyspace® анализ на удаленный сервер и загрузка результатов после анализа.
Отправка анализа Polyspace с рабочего стола на удаленные серверы
Отправка заданий анализа Polyspace на удаленный сервер из пользовательского интерфейса Polyspace.
Отправка анализа Polyspace с рабочего стола на удаленные серверы с помощью скриптов
Отправка заданий анализа Polyspace на удаленный сервер с помощью пакетных файлов (.bat) или интерпретатор скрипты (.sh).
Запуск анализа Polyspace при помощи скриптов MATLAB
Проверьте код C/C + + с помощью Bug Finder или Code Prover с помощью M-файлов, запустите анализ локально на рабочем столе или удаленном сервере.
