MathWorks Polyspace

Polyspace представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде.
Polyspace Client for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для верификации используется статический анализатор кода, который не требует исполнения кода и разработки тестов. Polyspace client for C/C++ использует метод абстрактной интерпретации для верификации кода. Вы можете проверять автоматически сгенерированный код, написанный разработчиками или комбинации обоих вариантов перед компиляцией, запуском кода и тестирование функционала.

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

Polyspace Server™ for C/C++ представляет собой верификатор кода, который доказывает отсутствие таких ошибок, как переполнение памяти, деление на ноль, выход за пределы массива и другие ошибки исполнения (run-time errors) в исходном коде. Для более производительных (с точки зрения скорости) верификаций, Polyspace Server™ for C/C++ позволяет запускать задачи верификации на вычислительном кластере. Задачи передаются на сервер с клиентской части Polyspace - Polyspace Client for C/C++. Вы можете отправлять задачи на сервер для автономного запуска и получать e-mail уведомления по окончании задач. Ознакомиться с различными метриками кода, списком ошибок и прочей статистикой вы может с помощью Web браузера. После окончании верификации Вы сможете загрузить результаты обратно в клиентскую часть Polyspace.

• Доступ к статусу верификации и метрикам через Web браузер
• Автоматическое планирование задач на кластере и уведомления по e-mail
• Собственный планировщик задач
• Поддержка многоядерных кластеров
• Автоматическое создание отчетов
• Одновременная работа в различных ОС

Polyspace® Model Link™ SL расширяет возможности Polyspace Client for C/C++ и Polyspace Server™ for C/C++ инструментами, позволяющими передавать сгенерированный С код напрямую из Simulink моделей. В результате, Вы сможете понять, какие части Ваших моделей являются надежными, а также исправить те части моделей, которые приводят к ошибкам исполнения в коде. С помощью Polyspace® Model Link™ SL, вы работаете в Simulink чтобы проверять С код, сгенерированный с помощью Embedded Coder. Таким образом вы проверяете и исправляете сгенерированный и ручной код до его компиляции.

Ключевые особенности:

• Используются передовые методы верификации кода
• Обрабатывается весь спектр значений переменных Вашего кода
• Передает результаты верификации обратно в Simulink модель
• Проверки запускаются из Simulink или командной строки MATLAB