Автоматизация верификации C кода с Polyspace
ЦИТМ Экспонента
В этом ролике рассматривается вопрос автоматизации проверок Polyspace. На примере среды непрерывной интеграции Jenkins показано как можно избавиться от рутинных задач по ручному запуску проверок, создания отчетности
8:32
