Méthodes pour la validation de modèles formels pour la ... - ISAE

Chapitre 4
Processus pour la validation de
modèle AltaRica
Sommaire
4.1 Avant propos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.1.2 Pourquoi faire du test ? . . . . . . . . . . . . . . . . . . . . . . . . . 104
4.2 Processus de validation du modèle AltaRica . . . . . . . . . . . . . . . . . . 105
4.2.1 Différents niveaux de validation . . . . . . . . . . . . . . . . . . . . . 106
4.2.2 Proposition de processus général . . . . . . . . . . . . . . . . . . . . 106
4.2.3 Un processus adapté à la validation unitaire . . . . . . . . . . . . . . 107
4.3 Vocabulaire du test . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.3.1 C’est quoi le test ? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
4.3.2 Test et jeu de tests . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3.3 Test boîte noire - Test boîte blanche . . . . . . . . . . . . . . . . . . 110
4.3.4 Couverture de modèle, Critère de couverture . . . . . . . . . . . . . . 111
4.4 Sélection de cas de test pour un modèle AltaRica . . . . . . . . . . . . . . . 115
4.4.1 Validation unitaire : Génération d’un jeu de tests pour le modèle AltaRica115
4.4.2 Génération de cas de test pour la validation de l’intégration . . . . . 118
4.4.3 Génération de cas de test pour la validation système . . . . . . . . . 120
4.5 Critère de couverture de modèles AltaRica par des tests . . . . . . . . . . . . 121
4.5.1 Forme Normale Disjonctive (FND) . . . . . . . . . . . . . . . . . . . 121
4.5.2 Critères de couverture des assertions d’un modèle AltaRica . . . . . . 124
4.5.3 Critères de couverture des transitions d’un modèle AltaRica . . . . . . 128
4.6 Implémentation des critères de couverture . . . . . . . . . . . . . . . . . . . 130
4.6.1 Implémentation des critères de couverture d’une transition . . . . . . 130
4.6.2 Implémentation des critères de couverture d’une assertion . . . . . . . 132
4.7 Retours sur l’approche de validation unitaire proposée . . . . . . . . . . . . . 134
4.7.1 Comment assurer la traçabilité ? . . . . . . . . . . . . . . . . . . . . 134
4.7.2 Retours sur l’implémentation proposée . . . . . . . . . . . . . . . . . 135
4.7.3 Retours sur la phase de simulation . . . . . . . . . . . . . . . . . . . 136
101