Polyspace Client for C/C++

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

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

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

  • Проверка компонентов программного обеспечения на уровне файлов и отдельных классов
  • Интерпретация основывается на абстрактных формальных методах
  • Отображение ошибочных мест прямо в коде
  • Оптимизация кодов стандартов MISRA-C:2004, MISRA-C++:2008 и JSF++ с прямыми ссылками на исходники
  • Проверка кода в соответствии с такими параметрами, как цикломатическая сложность и аналогичными
  • Интеграция с Eclipse и Microsoft Visual Studio

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

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