iSAQB® CPSA-A - Metode formale (curs)

Descriere

Participarea la cursul iSAQB® CPSA-A Formal Methods (FM) oferă participanților 20 puncte pentru Competență Tehnică (TC) și 10 puncte pentru Competență Metodologică (MC) 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