Wprowadzenie do narzędzia Polyspace Code Prover (PSCC)

  • Opis

    To 2-dniowe szkolenie omawia zastosowanie narzędzia Polyspace Code 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.

    Tematyka szkolenia obejmuje m.in.:

    • tworzenie nowego projektu weryfikacji,
    • przeglądanie i zrozumienie wyników weryfikacji,
    • emulację 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.
    Wymagania
    Znajomość języka C/C++.
    Poziom
    Specjalistyczny
    Czas trwania
    2/3 dni
    Wykorzystane produkty
    Polyspace Bug Finder, Polyspace Code Prover
  • Program szkolenia

    Dzień 1 z 2:

    • Przegląd pracy w Polyspace
    • Analiza z użyciem Polyspace Bug Finder
    • Analiza wyników Polyspace Code Prover
    • Sprawdzenia weryfikacji kodu

    Dzień 2 z 2:

    • Zarządzanie wynikami uzyskanymi z Polyspace Code Prover
    • Dodawanie precyzji do weryfikacji Polyspace Code Prover
    • Analiza integracji z użyciem Polyspace Access
    • Analiza aplikacji

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)