iSAQB® CPSA-A - Resmî Yöntemler (Kurs)
-
başlangıç 30-11-26 bitiş 02-12-26
Germany - Online
German
Açıklama
iSAQB® CPSA-A Formal Methods (FM) kursuna katılmak, katılımcılara 20 Technical Competence (TC) ve 10 Methodological Competence (MC) 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:
- Temel cebir bilgisi
- Temel mantık bilgisi
Aşağıdaki alanlarda bilgi sahibi olmak, bu kursta ele alınan bazı kavramları daha iyi anlamaya yardımcı olabilir:
- Fonksiyonel programlama
- Programlar üzerinde eşitlik temelli akıl yürütme
- Programlama dili semantiği
Sertifikasyon Sınavı İçin Başvuru Yapın
Brightest Private
Sınavları
Bireysel elektronik sınavlar, bir Pearson VUE uzmanı tarafından web kamerası aracılığıyla gerçek zamanlı olarak yönetilir.
Brightest Center
Sınavları
Bireysel elektronik sınavlar, Brightest web sitesi üzerinden kolay kayıt ile 5200'den fazla Sınav Merkezinden herhangi birindedir.
Brightest Green
Sınavları
Bireysel elektronik sınavlar, bir Pearson VUE uzmanı tarafından web kamerası aracılığıyla gerçek zamanlı olarak yönetilir.
Brightest Paper
Sınavları
Klasik sınav deneyimi, en az 6 katılımcılı gruplar için sayısı artan dillerde sunulmaktadır.