•  

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
  • Polyspace Bug Finder

    Polyspace Bug Finder идентифицирует ошибки времени выполнения, проблемы потоков данных и другие дефекты во встраиваемом программном обеспечении, написанном на C и C++. Используя статический анализ, Polyspace Bug Finder анализирует потоки данных, потоки управления и межпроцедурное взаимодействие в программе. Это позволяет выявлять и устранять программные дефекты на ранних стадиях процесса разработки.  
     
    Polyspace Bug Finder проверяет соответствие стандартам кодирования - таким, как MISRA-C®, MISRA-C++, JSF++ и настраиваемым правилам именования. Создаются отчеты, содержащие найденные дефекты, нарушения правил кодирования и метрики качества кода – такие, как цикломатическая сложность. Polyspace Bug Finder может использоваться совместно со средой разработки Eclipse™ и интегрироваться в существующие системы построения кода. 
     
    Для автоматически сгенерированного кода, результаты Polyspace® трассируются обратно к моделям Simulink®, блокам dSPACE® TargetLink® и диаграммам IBM® Rational® Rhapsody®. 
     
    Поддержка промышленных стандартов доступна с использованием IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (для DO-178). Также доступна поддержка языка Ada.


    Идентификация программных дефектов с использованием статического анализа

    Polyspace Bug Finder является инструментом статического анализа кода, который используется для анализа частей кода или всего проекта встраиваемой системы. 

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

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

    Polyspace Bug Finder поддерживает вызов из командной строки, предлагает графический интерфейс пользователя и интеграцию со средой разработки Eclipse. 

    Такие возможности позволяют интегрировать инструмент в окружения построения кода для автоматизации. Polyspace Bug Finder поддерживает критически важные мероприятия процесса разработки программного обеспечения, включая:

    • Выявление дефектов
    • Установление стандартов кодирования
    • Генерацию метрик сложности кода
    • Определение причины и устранение выявленных дефектов

    Polyspace Bug Finder позволяет осуществлять следующие мероприятия статического анализа кода:

    • Создание проекта и выбор целевой платформы и компилятора
    • Поиск дефектов в исходном коде
    • Проверка кода на соответствие стандартам MISRA-C:2004, MISRA AC AGC, MISRA-C++:2008, JSF++ (Joint Strike Fighter Air Vehicle C++) и настраиваемым правилам именования
    • Генерация отчетов и визуализация результатов статического анализа кода и соответствия правилам кодирования
    • Исследование причин выявленных дефектов и их устранение
    • Трассирование дефектов кода к блокам Simulink или моделям IBM Rational Rhapsody
    • Загрузка результатов статического анализа в веб панель для мониторинга тенденций качества кода


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

    Описание данной иллюстрации, а также другие иллюстрации продукта вы найдете в datasheet