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