MathWorks Polyspace Server for CC

Программное обеспечение Polyspace Server for C/C++ является серверным верификатором кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server for C/C++ позволяет запускать задачи проверки на вычислительном кластере. Задачи передаются на сервер с клиентской части – Polyspace Client for C/C++. Пользователи могут отправлять задачи на сервер для автономного запуска и получать по электронной почте уведомления по окончании задач. Различные метрики кода, списки ошибок и прочая статистика предоставляются с помощью web-браузера. После окончания верификации результаты удобно загружать обратно в клиентскую часть Polyspace. В Polyspace Server for C/C++ реализована поддержка промышленных стандартов с помощью IEC Certification Kit (для IEC 61508 и ISO 26262) и Do Qualification Kit (для DO 178).
Особенности Polyspace Server for C/C++:
- Доступ к статусу верификации и метрикам через web-браузер.
- Автоматическое планирование задач на кластере и уведомления по электронной почте.
- Собственный планировщик задач.
- Поддержка многоядерных кластеров.
- Автоматическое создание отчетов.
- Одновременная работа в различных операционных системах.