Polyspace Server for C/C++

Polyspace Server for C/C++ — это серверное решение для проверки кода на наличие таких ошибок выполнения программ, как переполнение, деление на ноль, выход за пределы массива и некоторых других. Для повышения производительности данное решение позволяет организовать проверку кода по расписанию с обработкой на кластерах. Задачи передаются на сервер с помощью клиентского приложения Polyspace Client for C/C++.

Решение позволяет интегрировать задачи с автоматизированной системой и настроить отправку уведомлений на электронный адрес. Ошибки кода и его параметры можно просматривать в web-браузере. Клиентское приложение также можно использовать для загрузки кода и визуализации результатов проверки. Polyspace Server for C/C++ поддерживает промышленные стандарты посредством IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (для DO-178).

Ключевые преимущества:

  • Web-консоль управления для просмотра параметров кода и уровня его качества
  • Автоматизация обработки кода по расписанию и настройка уведомлений на электронную почту
  • Менеджер очереди задач для мультисерверных систем
  • Повышенная производительность при работе с многоядерными серверами
  • Генерация отчетов проверки кодов
  • Поддержка работы в нескольких операционных системах одновременно

Зарегистрируйтесь в качестве нашего партнера и получите доступ к заказам

Получите консультацию по любым вопросам, написав нам по адресу info@axoft.kz или воспользуйтесь формой обратной связи