В условиях растущей сложности и взаимосвязанности мира встроенных систем производители и поставщики систем ищут инновационные и комплексные решения для проверки безопасности и защиты своего программного обеспечения. Пол Бланделл, управляющий директор PRQA, прокомментировал это так: «Постоянно растущий уровень регулирования и развитие Интернета вещей делают качество кода, соответствие требованиям и безопасность важнее, чем когда-либо. Эта все более сложная среда требует передовых инструментов анализа для обеспечения безопасных и совместимых потоков кода, которые могут использоваться на самых разных устройствах».
Новая продуктовая платформа PRQA объединяет лучшие в своем классе компоненты статического анализа в рамках расширенного набора языков программирования, а также значительное улучшение наших возможностей в области сложных потоков данных и многопоточного анализа. Это позволяет нам обеспечивать безопасность, соответствие требованиям и обнаружение критических ошибок с помощью веб-ориентированного решения для контроля качества, которое отслеживает тенденции, оповещает об отклонениях и предоставляет обновления статуса в режиме реального времени для каждого программного проекта.
Известные возможности анализа потоков данных PRQA уже обеспечивают уникально детальное исследование опасных предположений в коде, скрытых логических ошибок и серьезных нарушений правил использования языка. Новый пакет приложений расширяет эти возможности на всю программу, повышая точность предварительных условий нашей сложной, лидирующей на рынке методики решения, основанной на теории выполнимости по модулю (SMT) для статического анализа на основе значений. Анализ многопоточного кода — это новая сопутствующая возможность, охватывающая более сложные встроенные среды и системы, характеризующиеся все более сложными процессорными наборами, с соответствующей необходимостью анализа параллельных потоков кода для обеспечения отсутствия избыточности или событий тайм-аута.
Компания PRQA, по-прежнему ориентируясь на промышленное использование языков программирования, сохраняет лидирующие позиции в области соответствия стандартам кодирования и предотвращения дефектов. Специализация на точном анализе исходного кода предлагает уникальные возможности высокоуровневого обнаружения ошибок для корректного использования языка и отслеживания потока данных, которые теперь дополнены категориями многопоточного кодирования благодаря новому набору приложений для нескольких языков.
Более подробная информация или запрос цены
