Analiza wyników Polyspace (PSRR)

  • Description

    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.

    Requirements
    Zalecana znajomość języka C/C++
    Level
    Advanced
    Duration
    1 dzień
    Products
    Polyspace Bug Finder, Polyspace Code Prover, Polyspace Access
  • Agenda

    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.
General Info Html

Related

Tags: Polyspace, Weryfikacja kodu
Wprowadzenie do narzędzia Polyspace Bug Finder (PSBF)
Wprowadzenie do narzędzia Polyspace Code Prover (PSCC)