Статический анализ C/C++ кода для встраиваемых систем (PSBF)

• Обзор рабочего процесса Polyspace.
• Анализ в Polyspace Bug Finder.
• Обеспечение соответствия стандарту MISRA C.
• Измерение и документирование качества программного обеспечения.
• Анализ интеграции модулей программного обеспечения.

Ознакомление с Polyspace Bug Finder и работа с вводным примером.

• Рабочие процессы с использованием Polyspace;
• Простой пример верификации;
• Анализ дефектов.

Polyspace Bug Finder

Анализ кода, который может быть несовместим с ANSI C, учет среды исполнения и исправление дефектов при помощи Bug Finder.

• Общие артефакты среды исполнения;
• Работа с платформозависимым кодом;
• Определение контекста исполнения;
• Настройка информации об аппаратной платформе;
• Анализ и управление дефектами в Bug Finder.

Polyspace Bug Finder

Анализ, фильтрация и исправление нарушений правил кодирования при помощи Polyspace.

• Выявление нарушений стандартов кодирования;
• Анализ и фильтрация результатов проверки;
• Исправление нарушений и документация отклонений от стандарта кодирования.

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

• Совместный доступ к результатам;
• Использование Polyspace Metrics;
• Проверка метрик качества программного обеспечения;
• Создание документации.

Управление верификацией при увеличении сложности кода, а также интерпретация и сравнение результатов анализа отдельного модуля и модулей проекта в интеграции.

• Управление модулями кода;
• Анализ дефектов интеграции и нарушения правил при помощи Bug Finder и Code Prover;
• Импорт комментариев;
• Улучшение результатов верификации всего проекта;
• Обнаружение проблем с конкурентным доступом к ресурсам;
• Верификация на робастность и верификация с учетом контекста.

Polyspace Bug Finder

Polyspace Code Prover