iSAQB CPSA-A FM

Description

Udział w kursie iSAQB® CPSA-A Formal Methods (FM) pozwala uczestnikom zdobyć 10 punktów w obszarze kompetencji technicznych (TC), 10 punktów w obszarze kompetencji metodycznych (MC) oraz 10 punktów w obszarze kompetencji komunikacyjnych (CC) z 70 punktów wymaganych do uzyskania uprawnień do przystąpienia do egzaminu iSAQB CPSA-A z Brightest. Warto pamiętać, że w ramach 70 punktów wymaganych do przystąpienia do egzaminu iSAQB CPSA-A z Brightest należy zdobyć co najmniej dziesięć punktów kompetencyjnych w każdym z następujących obszarów: 

• Kompetencje techniczne (TC)
• Kompetencje metodyczne (MC)
• Kompetencje komunikacyjne (CC)

Akredytowane szkolenie iSAQB® FM - Formal Methods (CPSA-A) opiera się na aktualnym programie nauczania iSAQB®:

Część 1 - Logika

• Znajomość podstawowej struktury logiki zdań
• Znajomość podstawowej struktury logiki predykatów/logiki pierwszego rzędu
• Znajomość podstawowej struktury operatorów temporalnych
• Rozumienie podstawowych pojęć rachunku logicznego
• Rozumienie różnicy między logiką intuicjonistyczną a klasyczną

Część 2 -  Specyfikacja i implementacja

• Rozróżnianie pojęć związanych ze specyfikacją
• Rozumienie, że specyfikacje mogą dotyczyć różnych rodzajów komponentów
• Rozumienie, że specyfikacje mogą dotyczyć różnych charakterystyk jakościowych
• Rozróżnianie specyfikacji formalnych od innych typów specyfikacji
• Znajomość cech wyróżniających co najmniej trzy różne języki specyfikacji
• Rozumienie pojęcia uszczegółowienia (refinement)

Część 3 - Metody formalne i proces wytwarzania

• Identyfikowanie obszarów, w których można stosować metody formalne
• Znajomość istotnych charakterystyk jakościowych wskazujących na zasadność stosowania metod formalnych
• Rozumienie znaczenia precyzyjnej specyfikacji
• Znajomość kompromisów między różnymi metodami formalnymi
• Stopniowe wprowadzanie metod formalnych
• Wybieranie odpowiednich metod formalnych
• Ocenianie architektury za pomocą metod formalnych

Część 4 - Narzędzia

• Stosowanie testowania opartego na właściwościach (property-based testing)
• Rozumienie roli systemów typów
• Stosowanie weryfikacji modeli (model checking) do sprawdzania właściwości automatów
• Stosowanie asystentów dowodzenia do weryfikowania właściwości dowolnych systemów oprogramowania
• Stosowanie solverów SMT do weryfikowania ograniczeń dowolnych systemów oprogramowania
• Stosowanie interpretacji abstrakcyjnej do statycznego przewidywania zachowania dynamicznego