Description
Participer à la formation iSAQB® CPSA-A Formal Methods (FM) permet d’obtenir 10 points de compétence technique (TC), 10 points de compétence méthodologique (MC) et 10 points de compétence en communication (CC), comptant pour les 70 points requis pour être éligible à l’examen iSAQB CPSA-A avec Brightest. Il est important de rappeler que, pour atteindre les 70 points nécessaires pour passer l’examen iSAQB CPSA-A avec Brightest, il faut obtenir au moins dix points de compétence dans chacune des catégories suivantes :
- Compétence technique (TC)
- Compétence méthodologique (MC)
- Compétence en communication (CC)
La formation accréditée iSAQB® FM – Formal Methods (CPSA-A) est basée sur le programme officiel actuel de l’iSAQB® :
Partie 1 – Logique
- Connaître la structure de base de la logique propositionnelle
- Connaître la structure de base de la logique des prédicats (logique du premier ordre)
- Connaître la structure de base des opérateurs temporels
- Comprendre les concepts fondamentaux d’un calcul logique
- Comprendre la différence entre logique intuitionniste et logique classique
Partie 2 – Spécification et implémentation
- Distinguer différentes notions de spécification
- Comprendre que les spécifications peuvent concerner différents types de composants
- Comprendre que les spécifications peuvent concerner différentes qualités
- Distinguer les spécifications formelles des autres types de spécifications
- Connaître les caractéristiques distinctives d’au moins trois langages de spécification différents
- Comprendre la notion de raffinement
Partie 3 – Méthodes formelles et processus de développement
- Identifier les contextes dans lesquels les méthodes formelles sont applicables
- Connaître les critères de qualité justifiant l’utilisation des méthodes formelles
- Comprendre l’importance d’une spécification précise
- Connaître les compromis entre différentes méthodes formelles
- Introduire progressivement les méthodes formelles
- Sélectionner les méthodes formelles appropriées
- Évaluer une architecture à l’aide de méthodes formelles
Partie 4 – Outils
- Appliquer les tests basés sur les propriétés (property-based testing)
- Comprendre le rôle des systèmes de types
- Utiliser le model checking pour vérifier les propriétés des automates
- Utiliser les assistants de preuve pour vérifier les propriétés de systèmes logiciels
- Utiliser les solveurs SMT pour vérifier les contraintes de systèmes logiciels
- Utiliser l’interprétation abstraite pour prédire dynamiquement les comportements de manière statique
Public cible
La formation CPSA-A Formal Methods (sur les méthodes formelles) s'adresse en particulier aux personnes qui souhaitent mettre en œuvre des techniques et une architecture pour garantir la conformité de leur système logiciel.
Conditions requises
Pour participer à un cours iSAQB® CPSA – Niveau Avancé, il vous faut être titulaire du certificat iSAQB® Certified Professional for Software Architecture – Niveau Foundation (CPSA‑F).
Pré-requis de connaissances :
Les personnes participantes doivent posséder les connaissances préalables suivantes :
- Connaissances de base en algèbre
- Connaissances de base en logique
Des connaissances dans les domaines suivants peuvent aider à mieux comprendre certains concepts abordés dans ce cours :
- Programmation fonctionnelle
- Raisonnement équationnel appliqué aux programmes
- Sémantique des langages de programmation
Les programmes d'étude et les exemples d'examens seront bientôt disponibles !
Les programmes d'étude et les exemples d'examens seront bientôt disponibles !
