Analiza wyników Polyspace (PSRR)

  • Opis

    To 1-dniowe szkolenie omawia interpretacje i analizę wyników Polyspace Bug Finder oraz Polyspace Code Prover w Polyspace Access w celu redukcji błędów w algorytmach, poprawy metryk jakości kodu, i poprawy integralności produktu. To szkolenie przeznaczone jest dla inżynierów analizujących wyniki przy użyciu Polyspace Access i potrzebują wprowadzać zmiany w swoim kodzie zgodnie z tymi wynikami.

    Tematyka szkolenia obejmuje m.in.:

    • przegląd i zrozumienie wyników analizy,
    • zarządzanie kodem, dla którego nie udowodniono poprawności (oznaczone kolorem pomarańczowym przez produkty Polyspace),
    • zarządzanie błędami związanymi z naruszeniem standardów kodowania,
    • współpracę z innymi w interfejsie przeglądarkowym.
    Wymagania
    Znajomość języka C/C++.
    Poziom
    Specjalistyczny
    Czas trwania
    1 dzień
    Wykorzystane produkty
    Polyspace Bug Finder, Polyspace Code Prover, Polyspace Access
  • Program szkolenia

    Dzień 1 z 1:

    • Analiza z użyciem Polyspace Bug Finder
    • Analiza wyników z Polyspace Code Prover
    • Zarządzanie wynikami uzyskanymi z Polyspace Code Prover
    • Analiza integracji i 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: Polyspace, Weryfikacja kodu
Wprowadzenie do narzędzia Polyspace Bug Finder (PSBF)
Wprowadzenie do narzędzia Polyspace Code Prover (PSCC)