Чтобы указать, что анализ Bug Finder должен быть выполнен на удаленном сервере или должен привести к результатам быстрее, чем регулярный аналитический режим, используйте опцию настроек выполнения.
Run Bug Finder or Code Prover analysis on a remote cluster (-batch) | Включите пакетный удаленный анализ |
Upload results to Polyspace Metrics (-add-to-results-repository) | Загрузите результаты анализа для просмотра на Метрической веб-инструментальной панели Polyspace |
Use fast analysis mode for Bug Finder (-fast-analysis) | Запустите анализ с помощью быстрее локальный режим |
Задайте опции анализа Polyspace
Задайте опции анализа Polyspace® в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.
Результаты Bug Finder, найденные в быстром аналитическом режиме
Узнайте о подмножестве дефектов и кодирующих правил, что Bug Finder регистрируется в быстром аналитическом режиме.
Отправьте анализ Polyspace с рабочего стола на удаленные серверы Используя скрипты
Отправьте аналитические задания Polyspace в удаленный сервер при помощи пакетных файлов (.bat) или сценарии оболочки (.sh).
