Обеспечьте непрерывную интеграцию, выполняя анализ изменений кода на ранней стадии и часто.

Автоматизация анализа кода с Polyspace Bug Finder Server

Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа

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

Отправка оповещений о результатах статического анализа Отправка оповещений о результатах статического анализа

Автоматизация верификации кода с помощью сервера Polyspace Code Prover

Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа Отправка оповещений о результатах статического анализа

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