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
SpecjalistycznyCzas trwania
2/3 dniWykorzystane 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.