iSAQB CPSA-A FM

Descriere

Participarea la cursul iSAQB® CPSA-A Formal Methods (FM) oferă participanților 10 puncte pentru Competență Tehnică (TC), 10 puncte pentru Competență Metodologică (MC) și 10 puncte pentru Competență de Comunicare (CC) din cele 70 de puncte necesare pentru eligibilitatea la examenul iSAQB CPSA-A cu Brightest. Este important de reținut că, din cele 70 de puncte necesare pentru a susține examenul iSAQB CPSA-A cu Brightest, trebuie obținute cel puțin zece puncte de competență în fiecare dintre următoarele domenii: 

• Competență Tehnică (TC)
• Competență Metodologică (MC)
• Competență de Comunicare (CC)

Programul de formare acreditat iSAQB® FM - Formal Methods (CPSA-A) se bazează pe programa actuală iSAQB®:

Partea 1 - Logică

• Cunoașterea structurii de bază a logicii propoziționale
• Cunoașterea structurii de bază a logicii predicatelor/logicii de ordinul întâi
• Cunoașterea structurii de bază a operatorilor temporali
• Înțelegerea conceptelor de bază ale unui calcul logic
• Înțelegerea diferenței dintre logica intuiționistă și logica clasică

Partea 2 -  Specificație și implementare

• Diferențierea conceptelor de specificație
• Înțelegerea faptului că specificațiile se pot referi la diferite tipuri de componente
• Înțelegerea faptului că specificațiile se pot referi la diferite caracteristici de calitate
• Diferențierea specificațiilor formale de alte tipuri de specificații
• Cunoașterea proprietăților distinctive ale cel puțin trei limbaje de specificație diferite
• Înțelegerea conceptului de rafinare (refinement)

Partea 3 - Metode formale și procesul de dezvoltare

• Identificarea domeniilor în care pot fi aplicate metodele formale
• Cunoașterea caracteristicilor relevante de calitate care indică oportunitatea utilizării metodelor formale
• Înțelegerea importanței unei specificații precise
• Cunoașterea compromisurilor dintre diferitele metode formale
• Introducerea treptată a metodelor formale
• Selectarea metodelor formale adecvate
• Evaluarea arhitecturii cu ajutorul metodelor formale

Partea 4 - Instrumente

• Aplicarea testării bazate pe proprietăți (property-based testing)
• Înțelegerea rolului sistemelor de tipuri
• Aplicarea verificării modelelor (model checking) pentru verificarea proprietăților automatelor
• Aplicarea asistenților de demonstrare pentru verificarea proprietăților sistemelor software arbitrare
• Aplicarea solverelor SMT pentru verificarea constrângerilor sistemelor software arbitrare
• Aplicarea interpretării abstracte pentru a anticipa static comportamentul dinamic