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 na najnowszej wersji oprogramowania.

Cena obejmuje:

  • uczestnictwo w szkoleniu,
  • dostęp do oprogramowania MATLAB & Simulink w wersji próbnej na okres 30 dni,
  • materiały szkoleniowe (podręcznik i pliki z ćwiczeniami) do użytku własnego uczestników,
  • imienny certyfikat ukończenia szkolenia,
  • catering, jeśli szkolenie odbywa się w siedzibie firmy Oprogramowanie Naukowo-Techniczne sp. z o.o. tj. przy ul. Pod Fortem 19 w Krakowie.

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).

Wymagania programowo-sprzętowe dla środowiska MATLAB podane są na stronie internetowej: http://www.mathworks.com/support/sysreq/current_release

Pozostałe szkolenia z obszaru:

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