Techniques de modélisation et de test logiciel

📋 Plan du Cours

1. Symboles et valeurs dans les tables de décision
2. Construction et utilisation des tables de décision pour la conception de cas de test
3. Critères de couverture et réduction des tables de décision
4. Exemple d’application des tables de décision pour la validation d’un système de permis de conduire
5. Diagrammes de transitions d’états : composants, objectifs et comportement dynamique
6. Tableaux de transition d’état et couverture des transitions valides et invalides
7. Exemples et stratégies de couverture des transitions dans les tests d’états
8. Définition et rôle des cas d’utilisation dans la modélisation des exigences
9. Structure interne des cas d’utilisation : préconditions, post-conditions et scénarios
10. Représentation graphique et limitations des diagrammes de cas d’utilisation UML
11. Dérivation des cas de test à partir des cas d’utilisation et intégration avec d’autres techniques de test boîte noire

📖 1. Symboles et valeurs dans les tables de décision

🔑 Notions clés & Définitions

• Valeurs limites : Valeurs minimale et maximale, ou première et dernière valeurs, d’une partition d’équivalence; dans l’analyse des valeurs limites, ce sont les valeurs choisies pour tester les bords d’un domaine.

📝 Points essentiels