Азербайджан
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.az или воспользуйтесь формой обратной связи
