Чтобы указать, что анализ Bug Finder должен выполняться на удаленном сервере или должен давать результаты быстрее обычного режима анализа, используйте параметр параметров выполнения.
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, других среде IDE или сценариях.
Результаты поиска ошибок обнаружены в режиме быстрого анализа
Узнайте о подмножестве дефектов и правилах кодирования, которые Bug Finder проверяет в режиме быстрого анализа.
Отправка анализа Polyspace с рабочего стола на удаленные серверы с помощью сценариев
Отправка заданий анализа Polyspace на удаленный сервер с помощью пакетных файлов (.bat) или сценарии оболочки (.sh).