Polyspace® обеспечивает два отличных способа контролировать ваше качество кода.
Сгенерируйте отчеты от своих результатов верификации и предоставьте отчеты своему управлению или вашим клиентам. Чтобы сгенерировать отчеты, смотрите polyspace-report-generator
.
Загрузите свои результаты верификации на базу данных Polyspace Bug Finder™ Access™, затем просматривают их в веб-интерфейсе Polyspace Bug Finder Access. Интерфейс обеспечивает:
Инструментальная панель Project Overview для высокоуровневых сводных данных ваших результатов.
инструментальная панель Quality Objectives, чтобы контролировать ваше качество кода против предопределенных качественных порогов целей.
Перспектива REVIEW, чтобы рассмотреть результаты вашего веб-браузера.