iSAQB CPSA-A FM
iSAQB® CPSA-A - Metody formalne (kurs)
Description
Udział w kursie iSAQB® CPSA-A Formal Methods (FM) pozwala uczestnikom zdobyć 20 punktów w obszarze kompetencji technicznych (TC) oraz 10 punktów w obszarze kompetencji metodycznych (MC) 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
Target Audience
Seminarium CPSA-A Formal Methods jest szczególnie wartościowe dla specjalistów, którzy chcą stosować techniki i podejścia architektoniczne w celu zapewnienia poprawności swoich systemów oprogramowania.
Requirements
Aby wziąć udział w dowolnym kursie iSAQB® CPSA - Advanced Level, należy posiadać certyfikat iSAQB® Certified Professional for Software Architecture - Foundation Level (CSPA-F).
Wymagania dotyczące wiedzy:
Uczestnicy powinni posiadać następującą wiedzę podstawową:
- Podstawową wiedzę z zakresu algebry
- Podstawową wiedzę z zakresu logiki
Znajomość poniższych zagadnień może ułatwić zrozumienie niektórych koncepcji omawianych podczas kursu:
- Programowanie funkcyjne
- Rozumowanie równościowe dotyczące programów
- Semantyka języków programowania
The global exam price vary depending on the certification and your geographical location.
Zarezerwuj egzamin certyfikacyjny
Egzamin prywatny
Brightest
Elektroniczne egzaminy dla osób indywidualnych są nadzorowane w czasie rzeczywistym przez egzaminatora Pearson VUE za pośrednictwem kamery internetowej.
Egzamin w centrum
Brightest
Elektroniczny egzamin dla osób indywidualnych w jednym z ponad 5200 centrów egzaminacyjnych z łatwą rejestracją za pośrednictwem strony internetowej Pearson VUE.
Egzamin grupowy
Brightest Green
Elektroniczne egzaminy grupowe dla co najmniej 6 uczestników w sześciu różnych językach, w dowolnym miejscu na świecie.
Egzamin papierowy
Brightest
Klasyczny egzamin w formie papierowej dla grup liczących co najmniej 6 uczestników, dostępny w coraz większej liczbie języków.