Создайте собственный путь навигации.
Создайте собственный путь навигации.


Polyspace Bug Finder выявляет ошибки время исполнения, проблемы параллелизма, уязвимости безопасности и другие дефекты во встраиваемом программном обеспечении, созданном на языках C и C ++. Polyspace Bug Finder анализирует программный контроль, поток данных и межпроцедурное поведение с использованием статического анализа и семантического анализа. Дефекты и ошибки помечаются сразу после их обнаружения, что обеспечивает ранжирование и исправление ошибок на ранних этапах процесса разработки.

Polyspace Bug Finder проверяет соответствие кода стандартам кодирования, таким как MISRA C, MISRA C++, JSF ++, CERT C, CERT C ++ и пользовательским соглашениям об именах. Генерируется отчеты, состоящие из найденных ошибок, нарушений правил кода и показателей качества кода, включая цикломатическую сложность. Polyspace Bug Finder можно использовать с IDE Eclipse для бесшовной интеграции анализа кода.

Для автоматически сгенерированного кода результаты анализа Polyspace можно трассировать до моделей Simulink и блоков dSPACE TargetLink

Для доказательства соответствия отраслевым стандартам применяются IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Certification Kit (for DO-178).



Создайте собственный путь навигации. Создайте собственный путь навигации.

Обнаружение ошибок на ранних стадиях разработки

Трассируемость между результатами анализа и моделью Simulink
Трассируемость между результатами анализа и моделью Simulink
Трассируемость между результатами анализа и моделью Simulink Трассируемость между результатами анализа и моделью Simulink

Обеспечивается просмотр кода наподобие отладчика с трассировкой событий, значениями переменных и деревьями вызовов. Результаты анализа сгенерированного кода трассируются к блокам исходной модели. Polyspace Bug Finder интегрируется с любым компилятором, целевым процессором и ОСРВ.

Сделайте код безопасным и надежным

 Настройка проверки на соответствие стандартам кодирования
Настройка проверки на соответствие стандартам кодирования

Выполняется проверки на соответствие кода на стандарты кодирования MISRA C, MISRA C++, AUTOSAR C++ 14, JSF++ а также стандарты, определенные пользователем. При помощи анализа кода демонстрируется соответствие отраслевым стандартам, таких как ISO 26262, DO-178, IEC 61508, EN 50128, IEC 62304.

Результаты анализа сравниваются с пороговыми значениями качества, что обеспечивает упрощение коммуникацию команд разработчиков программного обеспечения и отслеживание этапов проекта.

 Настройка проверки на соответствие стандартам кодирования Настройка проверки на соответствие стандартам кодирования

Автоматизация анализа кода с Polyspace Bug Finder Server

Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа
Отправка оповещений о результатах статического анализа Отправка оповещений о результатах статического анализа

Движок статического анализа Polyspace Bug Finder Server ™ запускается на компьютере серверного класса с такими инструментами автоматизации и непрерывной интеграции, как Jenkins и Bamboo. Дефекты автоматически назначаются владельцам компонентов, уведомления о дефектах отправляются по электронной почте, а сами результаты загружаются в Polyspace Bug Finder Access, для последующей сортировки и исправления дефектов.

Совместный просмотр результатов с помощью Polyspace Bug Finder Access

Polyspace Bug Finder Access обеспечивает просмотр результатов статического анализа кода Polyspace и показателей качества в веб-интерфейсе, а также их центральное хранилище. Инструменты навигации для исследования результатов статического анализа отображаются рядом с кодом. Информационные панели отображают информацию, которую можно использовать для отслеживания качества программного обеспечения, состояния проекта, количества дефектов и метрик кода. Веб-интерфейс также обеспечивает создание и назначение заявок в таких инструментах отслеживания ошибок, как Jira.