iSAQB CPSA-A FM

Təsvir

iSAQB® CPSA-A Formal Methods (FM) kursunda iştirak iştirakçılara Brightest ilə iSAQB CPSA-A imtahanına buraxılmaq üçün tələb olunan 70 balın bir hissəsi kimi 10 Technical Competence (TC), 10 Methodological Competence (MC) və 10 Communicative Competence (CC) balı qazandırır. Yadda saxlamaq vacibdir ki, Brightest ilə iSAQB CPSA-A imtahanına buraxılmaq üçün tələb olunan 70 balın tərkibində aşağıdakı sahələrin hər birindən ən azı 10 səriştə balı olmalıdır:

• Technical Competence (TC)
• Methodological Competence (MC)
• Communicative Competence (CC)

Akkreditə olunmuş iSAQB® FM - Formal Methods (CPSA-A) təlimi hazırkı iSAQB® kurikulumuna əsaslanır:

Hissə 1 - Məntiq

• Propositional logic-in əsas strukturunu bilmək
• Predicate/first-order logic-in əsas strukturunu bilmək
• Temporal operator-ların əsas strukturunu bilmək
• Məntiqi calculus-un əsas anlayışlarını başa düşmək
• Intuitionistic logic ilə classical logic arasındakı fərqi başa düşmək

Hissə 2 - Spesifikasiya və Tətbiq

• Müxtəlif spesifikasiya anlayışlarını fərqləndirmək
• Spesifikasiyaların müxtəlif növ komponentlərə aid ola biləcəyini başa düşmək
• Spesifikasiyaların müxtəlif keyfiyyətlərə aid ola biləcəyini başa düşmək
• Formal spesifikasiyaları digər spesifikasiya növlərindən fərqləndirmək
• Ən azı üç müxtəlif spesifikasiya dilinin fərqləndirici xüsusiyyətlərini bilmək
• Refinement anlayışını başa düşmək

Hissə 3 - Formal Methods və İnkişaf Prosesi

• Formal methods-un harada tətbiq oluna biləcəyini müəyyən etmək
• Formal methods istifadəsini göstərən uyğun keyfiyyətləri bilmək
• Dəqiq spesifikasiyanın əhəmiyyətini başa düşmək
• Müxtəlif formal methods arasında kompromisləri bilmək
• Formal methods-u mərhələli şəkildə tətbiq etmək
• Uyğun formal methods seçmək
• Arxitekturanı formal methods ilə qiymətləndirmək

Hissə 4 - Alətlər

• Property-based testing tətbiq etmək
• Type systems-in rolunu başa düşmək
• Automata-nın xüsusiyyətlərini yoxlamaq üçün model checking tətbiq etmək
• İstənilən proqram sisteminin xüsusiyyətlərini yoxlamaq üçün proof assistants tətbiq etmək
• İstənilən proqram sisteminin məhdudiyyətlərini yoxlamaq üçün SMT solvers tətbiq etmək
• Dinamik davranışı statik şəkildə proqnozlaşdırmaq üçün abstract interpretation tətbiq etmək