iSAQB CPSA-A FM

iSAQB® CPSA-A - Metode Formal (Pelatihan)

Deskripsi

Dengan mengikuti pelatihan iSAQB® CPSA-A Metode Formal (FM), peserta akan memperoleh 20 poin Kompetensi Teknis (TC) dan 10 poin Kompetensi Metodologis (MC). Poin tersebut diperhitungkan sebagai bagian dari 70 poin yang diperlukan agar memenuhi syarat untuk mengikuti ujian iSAQB CPSA-A bersama Brightest. Dari total 70 poin yang diperlukan untuk mengikuti ujian iSAQB CPSA-A bersama Brightest, peserta harus memperoleh sekurang-kurangnya sepuluh poin kompetensi dalam setiap bidang berikut:

Kompetensi Teknis (TC)
Kompetensi Metodologis (MC)
Kompetensi Komunikatif (CC)

Pelatihan iSAQB® FM – Metode Formal (CPSA-A) yang terakreditasi didasarkan pada kurikulum iSAQB® terbaru:

Bagian 1 – Logika

Mengetahui struktur dasar logika proposisional
Mengetahui struktur dasar logika predikat atau logika orde pertama
Mengetahui struktur dasar operator temporal
Memahami konsep dasar kalkulus logika
Memahami perbedaan antara logika intuisionistik dan logika klasik

Bagian 2 – Spesifikasi dan implementasi

Membedakan berbagai konsep spesifikasi
Memahami bahwa spesifikasi dapat berkaitan dengan berbagai jenis komponen
Memahami bahwa spesifikasi dapat berkaitan dengan berbagai karakteristik kualitas
Membedakan spesifikasi formal dari jenis spesifikasi lainnya
Mengetahui karakteristik pembeda dari sekurang-kurangnya tiga bahasa spesifikasi yang berbeda
Memahami konsep penyempurnaan

Bagian 3 – Metode formal dan proses pengembangan

Mengidentifikasi bagian yang dapat menerapkan metode formal
Mengetahui karakteristik kualitas yang menunjukkan perlunya penggunaan metode formal
Memahami pentingnya spesifikasi yang tepat
Mengetahui berbagai pertimbangan dan pertukaran dalam memilih metode formal
Menerapkan metode formal secara bertahap
Memilih metode formal yang sesuai
Menilai arsitektur menggunakan metode formal

Bagian 4 – Alat bantu

Menerapkan property-based testing
Memahami peran sistem tipe
Menerapkan model checking untuk memverifikasi properti automata
Menggunakan proof assistant untuk memverifikasi properti berbagai sistem perangkat lunak
Menggunakan SMT solver untuk memverifikasi batasan berbagai sistem perangkat lunak
Menerapkan interpretasi abstrak untuk memprediksi perilaku dinamis melalui analisis statis

Target Audiens

Pelatihan Metode Formal CPSA-A sangat bermanfaat bagi para profesional yang ingin menerapkan berbagai teknik dan pendekatan arsitektur untuk memastikan kebenaran sistem perangkat lunak mereka.

Persyaratan

Untuk mengikuti pelatihan iSAQB® CPSA – Advanced Level, Anda harus memiliki sertifikat iSAQB® Certified Professional for Software Architecture – Foundation Level (CPSA-F).

Prasyarat pengetahuan:

Peserta sebaiknya memiliki pengetahuan dasar berikut: