Analiza wyników Polyspace (PSRR)
- Opis
Ten kurs 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.
Wymagania
Zalecana znajomość języka C/C++Poziom
SpecjalistycznyCzas trwania
1 dzieńWykorzystane produkty
Polyspace Bug Finder, Polyspace Code Prover, Polyspace Access - Program szkolenia
Tematyka szkolenia obejmuje m.in.:
- przegląd i zrozumienie wyników analizy,
- zarządzanie nieudowodnionymi błędami (oznaczonymi kolorem pomarańczowym przez Polyspace Code Prover),
- zarządzanie błędami związanymi z naruszeniem standardów kodowania,
- współpraca z innymi w interfejsie przeglądarkowym.
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