Проверка правил кодирования и демонстрация отсутствия ошибок во время выполнения. Эти характеристики гарантируют надежность встроенного программного обеспечения, которое должно работать на самом высоком уровне качества и безопасности.
Polyspace Code Prover — это инструмент формальной верификации, который доказывает корректность кода. Инженеры, ответственные за безопасность и сертификацию кода, могут использовать Polyspace Code Prover для надежного определения того, где в реальном времени возникнут ошибки, а где нет. Цветовая кодировка результатов на основе тестов упрощает задачи верификации, что приводит к более эффективному и качественному процессу разработки программного обеспечения. Polyspace Code Prover также использует платформу MATLAB, предоставляя пользователям доступ к мощным функциям MATLAB, таким как надежное распределение заданий по кластерам команд, написание скриптов для автоматизации, визуализация результатов и генерация отчетов для сертификации. Polyspace Code Prover включает в себя функциональность, ранее доступную в Polyspace Client для C/C++ и Polyspace Server для C/C++.
Polyspace Bug Finder выявляет ошибки времени выполнения, проблемы потока данных и другие дефекты во встроенном программном обеспечении. С помощью статического анализа Polyspace Bug Finder анализирует управление, поток данных и межпроцедурное поведение программного обеспечения. Он может обнаруживать различные дефекты, такие как числовые ошибки и ошибки памяти, а также другие ошибки программирования. В отличие от традиционного ручного анализа, Polyspace Bug Finder позволяет инженерам быстро выявлять, проверять и исправлять дефекты кода, ускоряя процесс разработки. Этот инструмент также проверяет соответствие стандартам правил кодирования, таким как MISRA и JSF++, а также пользовательским правилам, и выдает метрики качества и сложности кода. Как и Polyspace Code Prover, Polyspace Bug Finder использует платформу MATLAB для распределения заданий между группами разработчиков, написания скриптов и визуализации результатов. Оба продукта интегрированы с Simulink для использования с автоматически генерируемым кодом.
«Предоставляя комплексное решение для проверки кода, семейство продуктов Polyspace дает инженерам большую уверенность в качестве и безопасности встроенного программного обеспечения на протяжении всего процесса разработки», — говорит Пол Барнард, директор по маркетингу подразделения автоматизации проектирования в MathWorks. «Polyspace Bug Finder и Polyspace Code Prover объединяют методы статического анализа и проверки кода с использованием формальных методов, чтобы помочь инженерам обнаруживать ошибки на ранних этапах проектирования и демонстрировать, что их программное обеспечение безопасно и готово к развертыванию»
Программы Polyspace Code Prover и Polyspace Bug Finder теперь доступны.
