Qu est ce que le Model Based Testing? Bertrand Cornanguer 7 juin 2013 Journées scientifiques Nantes 1
Sommaire Partie I Introduction au Model-Based Testing Comprendre ce qu est le Model Based Testing Le positionnement du MBT L approche MBT Les modèles utilisés pour la génération des tests Partie II Exemple d approche MBT Smartesting CertifyIt pour le test fonctionnel et de bout-en bout des systèmes IT 2
Objectifs des tests Origine des anomalies (Capers Jones 2011 US Industries): 3
Objectifs du MBT Génération automatique des cas de tests Augmenter Productivité & Qualité délivrée Garantir Alignement & Réduire les Risques Tester dans une optique d exécution Métier Automatisation des cas de tests Augmenter les capacités de Service de Test Réduire le Time-to- Market Détecter les anomalies fonctionnelles au plus tôt 4
MBT process European Telecommunication Standards Institute 5
Liens entre Model Based Testing et Génération de code Générateur de code Outil Besoins de modélisation différents MBT Outil Codeur Code exécutable Personnalisation Analyste de tests Cas de tests fonctionnels manuels Personnalisation Ingénieur d automatisaiton Logiciel/fonction exécutable Automatisation Outil Codeur Test unitaire de composant Tests fonctionnels Manuels Tests fonctionnels Automatisés Codés 6
Types de test Le positionnement du MBT bout en bout système integration module unitaire fonctionnel robustesse performance Boite blanche Boite noire Niveau d accessibilité ergonomie sûreté sécurité Caractéristiques (ce que l on veut tester) D après J. Tretmans Univ. Nijmegen 7
Positionnement dans la chaine outillée du test MBT tool 8
Outils MBT Ina Schieferdecker Model-based testing, JANUARY/FEBRUARY 2012 IEEE SOFTWARE 9
Les modèles utilisés pour la génération des tests Pour la modélisation comportementale : Machines à Etat Diagrammes de séquences Diagrammes d activités Pré-Post conditions avec OCL Tables de décision Pour les workflows métier BPMN Modèle de processus métier Pour les données logiques de test Diagramme de classe UML (+ instances) 10
Sommaire Partie I Introduction au MBT Comprendre ce qu est le Model Based Testing Le positionnement du MBT L approche MBT Les modèles utilisés pour la génération des tests Partie II Exemple d approche MBT Smartesting CertifyIt pour le test fonctionnel et de bout-en bout des systèmes IT 11
Le processus de génération des tests importation Smartesting CertifyIt 5.3 Modelisation Formaliser Capitaliser Réutiliser Les Tests sont prêts à être executés Cas d Utilisation Exigences Gestion des exigences trace Génération des tests MBT Publish trace Scripts de tests Gestion des tests Collaboration Business Analyst Test Analyst 12 Testers
Types de modélisation avec Smartesting CertifyIt Workflow métier (en BPMN) Données logiques de test (diagramme de classe UML + instances) Modélisation comportementale (machine à état, tables de décision, OCL) 13
Génération de tests Que voulez vous tester? Comment voulez-vous le tester? Comportement attendu Points de contôles Processsus et flux Règles métier à tester Documentation des actions Analyste de tests Configuration de la Génération des tests - Critères de couverture - Objectifs de tests - Configuration de nommage des tests - Etat Initial Génération automatisée des tests 14
Modèles utilisés pour générer les tests 1- Business process models using BPMN Un processus Métier avec ses sous-processus en BPMN 15 15
Modèles utilisés pour générer les tests 2. Modeling Actions/Observations and Logical Data Classe UML Une façon générique de capturer les caractéristiques et les actions Peut être associée avec d autres classes Objet UML Une instance de la classe 16
Modèles utilisés pour générer les tests 3. Behavioral modeling Une description précise des exigences et des règles métier définissent le comportement attendu 17
Generation des tests manuels et automatisés Les cas de tests sont publiés dans le référentiel de tests: En language naturel pour l exécution manuelle Dans le language du robot pour l automatisation si nécessaire 18
Exemples de projet MBT avec Smartesting CertifyIt Test de bout-en-bout Test d intégration système du SI Opérateur SFR (présenté lors de la JFTL 2011) Test de qualification pour le projet d Ecotaxe des poids lourds (projet Ecomouv ) Test fonctionnel Test des cartes multi-applicatifs VISA Test ERP customisation de modules SAP (présenté lors de la JFTL 2012) 19
Questions, Commentaires? 20