Wprowadzenie do narzędzia Polyspace Code Prover (PSCC)

  • Description

    Kurs omawia zastosowanie narzędzia PolyspaceCode Prover do celów sprawdzania poprawności kodu, poprawy wskaźników jakości oprogramowania i zapewnianiu integralności produktu. Szkolenie jest przeznaczone dla inżynierów rozwijających kod źródłowy dla systemów wbudowanych. Trzeci dzień kursu jest opcjonalny i dostępny tylko w przypadku szkolenia stacjonarnego. 

    Requirements
    Dobra znajomość języka C/C++
    Level
    Advanced
    Duration
    2/3 dni
    Products
    Polyspace Bug Finder, Polyspace Code Prover
  • Agenda

    Tematyka szkolenia obejmuje m.in.:

    • Tworzenie nowego projektu weryfikacji
    • Przeglądanie i zrozumienie wyników weryfikacji,
    • Emulacja docelowego środowiska wykonawczego
    • Zarządzanie kodem, dla którego nie udowodniono poprawności (oznaczone kolorem pomarańczowym przez produkty Polyspace)
    • Stosowanie reguł standardu MISRA C®
    • Raportowanie wyników analizy
General Info Html

Related

Tags: Weryfikacja kodu, Polyspace
Wprowadzenie do narzędzia Polyspace Bug Finder (PSBF)
Analiza wyników Polyspace (PSRR)