Сконфигурируйте и запущенный анализ сервера

Настройте автоматизированные запуски Программы автоматического доказательства Кода в командной строке или в непрерывной платформе интегрирования, такие как Дженкинс

Polyspace® Bug Finder™ Server™ поддерживает два первичных рабочих процесса:

  • Автоматизированный проверяет сервер во время непрерывного интегрирования:

    Проверяйте на ошибки, ошибки времени выполнения и кодирование стандартных нарушений во время непрерывного интегрирования. Анализ работает на сервере как на шаге сборки в непрерывном процессе интеграции после представления кода. Шаг сборки запускается в периодических интервалах или на основе предопределенных триггеров. Результаты загружаются на Polyspace доступ к веб-интерфейсу для анализа.

  • Разгрузка анализа с рабочих столов на сервер:

    Проверяйте на ошибки и кодирование стандартных нарушений как часть критериев представления кода, но разгрузите проверки к серверу. Аналитическое задание представлено с помощью десктопного решения, Polyspace Code Prover™, но работает на сервере с помощью Polyspace Code Prover Server. Результаты загружаются назад на десктопное решение для анализа.

Можно также объединить эти два рабочих процесса. Например, во время непрерывного интегрирования, сервер сборки может разгрузить проверки к другому серверу.