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