Polyspace Server
Обеспечьте непрерывную интеграцию, выполняя анализ изменений кода на ранней стадии и часто.
Автоматизация анализа кода с Polyspace Bug Finder Server
Движок статического анализа Polyspace Bug Finder Server ™ запускается на компьютере серверного класса с такими инструментами автоматизации и непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, уведомления о дефектах отправляются по электронной почте, а сами результаты загружаются в Polyspace Bug Finder Access, для последующей сортировки и исправления дефектов.
Запуск анализа по триггеру JenkinsАвтоматизация верификации кода с помощью сервера Polyspace Code Prover
Polyspace Code Prover Server служит для автоматизации верификации кода, обеспечивая запуск движка Polyspace Code Prover в серверной среде с такими средами непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, отправляются уведомления по электронной почте. Результаты верификации могут быть загружены в Polyspace Code Prover Access, для последующей сортировки и исправления дефектов.
