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

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

    Код тренинга: PSBF

    Цели тренинга

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

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

     

    Требования

    Знание языка C или C++

     

    Продукты

     

    План тренинга

    • Введение в анализ Polyspace Bug Finder
    • Среда компиляции
    • Анализ результатов Polyspace Bug Finder
    • Проверки анализатора кода
    • Обеспечение соответствия стандарту MISRA-C
    • Сервер Web Metrics и отчеты


    Заявка на тренинг


    Подробнее

    План тренинга

    Введение в анализ Polyspace Bug Finder

    Цель: Ознакомление с Polyspace Bug Finder и прохождение вводного примера .

    ·       Обзор Polyspace Bug Finder

    ·       Пример простого анализа

    ·       Удаленный анализ с MATLAB Distributed Computing Server

    Среда компиляции

    Цель: Рассматриваются код, который может не соответствовать стандарту ANSI C и среда исполнения.

    ·       Общие артефакты среды исполнения

    ·       Работа с платфромозависимым кодом

    ·       Определение контекста исполнения

    ·       Настройка информации об аппаратной платформе

    Анализ результатов Polyspace Bug Finder

    Цель: Научиться интерпретировать результаты работы Polyspace Bug Finder.

    ·       Навигация по исходному коду

    ·       Интерпретация результатов работы Polyspace Bug Finder

    ·       Просмотр использования глобальных переменных в коде

    Проверки анализатора кода

    Цель: Обнаружение дефектов в коде с помощью проверок Polyspace Bug Finder.

    ·       Обзор проверок С кода

    ·       Обнаружение проверок в коде

    ·       Описание проверок

    ·       Соответствие опциям анализа

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

    Цель: Научится использовать Polyspace для проверки соответствия стандарту кодирования MISRA-C.

    ·       Обзор стандарта кодирования MISRA-C

    ·       Запуск проверок MISRA-C

    ·       Просмотр результатов проверок MISRA-C

    ·       Эффекты проверок на соответствие MISRA-C на результаты анализа Polyspace Bug Finder

    Сервер Web Metrics и отчеты

    Цель: Научиться использовать сервер Web metrics для распространения и каталогизации результатов анализа, создание стандартных отчетов.

    ·       Распространение результатов анализа

    ·       Использование сервера Web metrics

    ·       Проверка целей качества ПО

    ·       Создание документации


    Заявка на тренинг
    Связанные материалы

    Связанные продукты