Wprowadzenie do narzędzia Polyspace Code Prover (PSCC)

  • Opis

    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. 


    Wymagania
    Dobra znajomość języka C/C++
    Poziom
    Specjalistyczny
    Czas trwania
    2/3 dni
    Wykorzystane produkty
    Polyspace Bug Finder, Polyspace Code Prover
  • Program szkolenia

    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

Szczegóły organizacyjne

Szkolenia prowadzimy w trybie stacjonarnym w siedzibie firmy lub online.

Cena szkolenia obejmuje:

  • uczestnictwo w szkoleniu,
  • dostęp do oprogramowania firmy MathWorks (przykłady, ćwiczenia),
  • materiały szkoleniowe,
  • imienne zaświadczenie uczestnictwa w szkoleniu,
  • catering i przerwy kawowe (tylko w trybie stacjonarnym).

Szkolenia stacjonarne odbywają się w przygotowanej sali szkoleniowej na naszych komputerach.

W przypadku szkolenia online bardzo przydatne będą także: zestaw słuchawkowy z wbudowanym mikrofonem oraz opcjonalnie drugi monitor podpięty do komputera (wówczas będą Państwo mogli mieć na jednym monitorze podgląd pulpitu trenera, a na drugim uruchomioną własną sesję MATLABa, bez konieczności przełączania się między tymi dwoma widokami).

Dla dużych grup z jednej instytucji oferujemy szkolenia zamknięte. W takim przypadku prosimy o kontakt w celu uzgodnienia ceny oraz trybu szkolenia.

Pozostałe szkolenia z obszaru:

Tagi: Weryfikacja kodu, Polyspace