Polyspace w weryfikacji kodu C/C++ (PSCC)

  • Opis

    To 2-dniowe szkolenie omawia zastosowanie narzędzi Polyspace Bug Finder oraz 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 tworzących oprogramowanie lub modelerozwijają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 projektu w Polyspace,
    • przegląd i interpretacja wyników analizyweryfikacji,
    • emulację środowiska docelowego,
    • obsługę brakujących funkcji i danych,
    • zarządzanie kodem nieudowodnionym  (oznaczone kolorem pomarańczowym przez produkty Polyspace),
    • stosowanie reguł standardu MISRA-C®,
    • raportowanie wyników analizy.
    Koszt
    5000 zł
    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:

    • Przedstawienie i porównanie narzędzi Polyspace
    • Analiza z użyciem Polyspace Bug Finder
    • Analiza wyników z Polyspace Code Prover
    • Typy błędów w wynikach analizy

    Dzień 2 z 2:

    • Zarządzanie weryfikacją i wynikami uzyskanymi z Polyspace Code Prover
    • Dodawanie precyzji do weryfikacji Polyspace Code Prover
    • Analiza integracyjna z użyciem Polyspace Access
    • Analiza całej 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
Wykorzystanie Polyspace Bug Finder do analizy kodu C/C++ (PSBF)
Analiza wyników Polyspace (PSRR)