iSAQB CPSA-A FM

iSAQB® CPSA-A - Resmî Yöntemler (Kurs)

Açıklama

iSAQB® CPSA-A Formal Methods (FM) kursuna katılmak, katılımcılara 10 Technical Competence (TC), 10 Methodological Competence (MC) ve 10 Communicative Competence (CC) puanı kazandırır. Bu puanlar, Brightest ile iSAQB CPSA-A sınavına girebilmek için gerekli olan 70 puanın bir parçasıdır. Brightest ile iSAQB CPSA-A sınavına girmek için gereken 70 puanın içinde, aşağıdaki alanların her birinden en az on yetkinlik puanına sahip olmanız gerektiğini unutmamak önemlidir:

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

Akredite iSAQB® FM - Formal Methods (CPSA-A) eğitimi, güncel iSAQB® müfredatına dayanmaktadır:

Bölüm 1 - Mantık

Önerme mantığının temel yapısını bilmek
Yüklem/birinci dereceden mantığın temel yapısını bilmek
Zamansal operatörlerin temel yapısını bilmek
Mantıksal bir kalkülüsün temel kavramlarını anlamak
Sezgisel mantık ile klasik mantık arasındaki farkı anlamak

Bölüm 2 - Spesifikasyon ve Uygulama

Farklı spesifikasyon kavramlarını birbirinden ayırt etmek
Spesifikasyonların farklı türde bileşenlerle ilgili olabileceğini anlamak
Spesifikasyonların farklı kalite özellikleriyle ilgili olabileceğini anlamak
Resmî spesifikasyonlar ile diğer spesifikasyon türleri arasındaki farkı anlamak
En az üç farklı spesifikasyon dilinin ayırt edici özelliklerini bilmek
Refinement kavramını anlamak

Bölüm 3 - Resmî Yöntemler ve Geliştirme Süreci

Resmî yöntemlerin nerelerde uygulanabileceğini belirlemek
Resmî yöntemlerin kullanımını gerektiren ilgili kalite özelliklerini bilmek
Kesin ve açık spesifikasyonun önemini anlamak
Resmî yöntemler arasındaki avantaj ve dezavantajları anlamak
Resmî yöntemleri aşamalı olarak kullanıma almak
Uygun resmî yöntemleri seçmek
Mimarileri resmî yöntemlerle değerlendirmek

Bölüm 4 - Araçlar

Property-based testing uygulamak
Tip sistemlerinin rolünü anlamak
Otomatların özelliklerini doğrulamak için model checking uygulamak
Herhangi bir yazılım sisteminin özelliklerini doğrulamak için proof assistant araçlarını kullanmak
Herhangi bir yazılım sistemindeki kısıtlamaları doğrulamak için SMT solver araçlarını kullanmak
Dinamik davranışı statik olarak tahmin etmek için abstract interpretation uygulamak

Hedef kitle

CPSA-A Formal Methods semineri, yazılım sistemlerinin doğruluğunu sağlamak için uygun teknikleri ve mimari yaklaşımları uygulamak isteyen profesyoneller için özellikle değerlidir.

Gereksinimler

Herhangi bir iSAQB® CPSA - Advanced Level kursuna katılmak için iSAQB® Certified Professional for Software Architecture - Foundation Level (CPSA-F) sertifikasına sahip olmanız gerekir.

Bilgi ön koşulları:

Katılımcıların aşağıdaki ön bilgilere sahip olması gerekir: