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

Что входит в курс:

  • Создание проекта для анализа кода;
  • Рассмотрение и понимание результатов анализа;
  • Эмуляция целевой среды выполнения;
  • Применение правил MISRA-C;
  • Создание отчетов по результатам анализа.

Предварительная подготовка:

Для прохождения курса требуются хорошие знания C или C++.

Продолжительность курса - 1 день.

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

Программа

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

Обзор рабочего процесса Polyspace

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

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

Анализ в Polyspace Bug Finder

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

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

Обеспечение соответствия стандарту MISRA C

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

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

Измерение и документирование качества программного обеспечения

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

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

Анализ интеграции модулей программного обеспечения

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

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

Услуги

Продукты

${message}

${message}