20120124 05 - Le Model-based Testing aujourd'hui (Inria)

Model-Based Testing aujourd’hui
Fabrice Bouquet
Club Qualité Logiciel
Paris, 24 Janvier 2012
Plan
•  Test
•  Attendu
•  Organisation
•  Model-Based Testing (MBT)
•  Où
•  Quoi
•  Organisation
•  Agilité et MBT
F. Bouquet - Club QL 2
Où en sont les organisations ?
Tester dans les organisations IT
•  Top 4 des points d’intérêt (Europe de l’Ouest)
1.  Choisir une méthodologie de test s’intégrant dans la
démarche agile utilisée dans le développement
2.  Permettre une couverture automatisée des tests pour
construire les tests de façon agile
3.  Plus se concentrer sur les aspects non-fonctionnels comme
la performance, la disponibilité, sécurité…
4.  Avoir une stratégie de test qui optimise l’usage des
services de tests (traditionnel ou cloud).
F. Bouquet - Club QL 4
Source IDC - European Services, Enterprise Application Testing Survey, March 2011
Maturité fonction QA/Test :
passer d’une approche ad hoc vers une approche réfléchie et cohérente
Séparation entre développement et test logiciel
F. Bouquet - Club QL 5
Source IDC -
European Services,
Enterprise
Application Testing
Survey, March 2011
Le Model-Based Testing (MBT) ?
Processus du test à partir de modèles
F. Bouquet - Club QL 7
Spécifications
Techniques
de Besoins
Modèle formel

StateCharts,B,UML,… #
Cas de test #
générés#
Implémentation#
Modélisation#
Validation#Scripts de tests#
exécutables#
Génération de scripts#
Génération de Test# Développement#
Niveaux de test
F. Bouquet - Club QL 8
Besoins client
Exigences
Conception
Code
T. Acceptation
T.
Système
Intégration
T. Intégration
Tests Unitaires
Model-Based Testing
9
Applicatif
Test de Bout-en-
bout
au cœur du
processus métier
Test d’acceptation
de multi applications
Test Fonctionnel
d’une seule application
Niveau
Système
d’Informations
Niveau
Système
Niveau
Applicatif
Nombre de tests
petit, valeur
métier grande
Nombre de tests
moyen,
Test orienté
utilisateur final
Beaucoup de tests,
Validation
presque exhaustive
Comment l’utiliser ?
Méthodologie de tests
•  RRBT – Risk & Requirements Based Testing
•  Lien entre risques et exigences :
-  Quoi modéliser / Priorité
•  Effort de tests piloté par analyse de risque :
-  Quel Test => Modèle
-  Couverture
•  Plusieurs méthodologies ou pratiques :
-  Sogeti Tmap®
-  Logica RRBT
-  ISTQB
F. Bouquet - Club QL 11
Autour du test
F. Bouquet - Club QL 12
Exigences
Outils de
gestion
d’exigences
Modèle de processus
métier
Référentiel
de tests
Modèle de domaine
et comportemental
Outil de génération
de test MBT
Outils
d’exécution des
tests
Système de gestion
des processus métier
Outil de modélisation
Outil de gestion de tests
Import des artéfacts
Intégration entre outils
Aris, Tibco, Mega
HP et IBM
RSA, TopCased, !
Papyrus, Ad’hoc!
Tableur, Doors,
HP ALM, IBM Rat.
Requier. Composer
HP, IBM, salomeFTM
Squash TM, Testlink
Conformiq, Smartesting,
Test optimal, BenderRBT
IBM RFT, Selenium,
HP QuickTestPro, Sahi
Gestionnaire d’exigences Gestionnaire de tests
13
Processus de tests
Analyste
Métier
Conception de tests
Analyste de
Test
Tests générés
Exigences
Processus métiers
Couche d’adaptation
Automaticien
de Test
Scripts Exécutable
Tests Manuels
Traçabilité: Ex. Tests
Modèles
Testeurs Manuel
itérations
Courtes
Agilité
14
Modèle pour la génération automatique de tests
Modèle'de'processus'mé/er'
!!
Modèle'de'domaine'ou'
données'de'tests'
Modèle'comportemental'
Génération de tests piloté par les modèles et la
stratégie de test
F. Bouquet - Club QL 15
Strétégie'de'test'
" 'Couverture'de'modèle'
" 'Configura/on'
" 'Etat'Ini/al
• Comportement attendu
• Point d’observation
• Processus et déroulement
• Règles métier
• Documentation Mots d’actions
Génération de test
automatique
Qu’est-ce que l’on veut tester ? Comment le tester ?
Analyst
ede test
Les personnes dans l’organisation
17
Rôles: Séparation des tâches
Eléments
Test
Eléments
modèle
Analyste
métier
Automaticien
Analyste
de tests
Business
Models &
Flows
Défini
Mots-actions
pour les tests
automatiques
Comportement
attendu
& Données
BPMN
UML stereotype
réalisé
Testeur
Rôle de l’analyste métier et profil
F. Bouquet - Club QL 18
Role Actions Skills (existing / new)
Analyste Métier
(BA)
! Ecrire et concevoir les besoins
métiers
! Piloter les tests par les risques
"  Capacité de documentation
fonctionnelle
# Notation processus (BPMN)
# Stratégie de Test
Profil ! Connaître les processus métiers et les règles fonctionnelles
! Connaître comment trouver l’information (perdu) dans
l’entreprise
! Orienté exigences
! Orienté risques
! Orienté tests
! Capacité d’abstraction (e.g. BPMN)
! Orienté utilisateurs
Rôle de l’analyste de test et profile
F. Bouquet - Club QL 19
Role Actions Skills (existing / new)
Analyste de tests
(TA)
! Appliquer la stratégie de test
! Modéliser les comportements
de l’application et valider le
cahier des charges
! Générer les plans de tests
! Piloter l’exécution des tests
" Professionnel du Test
# Modélisation et génération
de tests
Profil ! Bonne connaissance des méthodes de tests fonctionnels
! Connaitre les méthodes Orientés Objets (ou expérience en dev.)
! Expérience en modélisation est un plus
! Connaitre les outils de tests de l’entreprise
! Connaitre l’organisation du projet, le cycle de vie et les besoins
de tests
! Connaissance élémentaire en automatisation de tests
Other roles in the Smartesting project
F. Bouquet - Club QL 20
Role Actions Skills (existing / new)
Gestionnaire de
projet
(PM)
! Gérer l’équipe de test
! Gérer le test par le risque
"  Capacité en gestion de
projet
"  Capacité en documentation
fonctionnelle
# Notation de processus
(BPMN)
# Stratégie de test
Testeurs Execute les cas de tests à la
main
" Connaissance légère de
l’application est un +
Expert
d’automatisation
Developper la bibliothèque de
mots d’actions
" Connaissances requises
dans les robots
# Gestion des éléments
téchniques
Equipe de
développemnet
! Développe / customize
l’application pour les utilisateurs
" Développement
" Customisation
" Écriture de spécification
technique
" Tests Unitaires
Personne et Rôle
F. Bouquet - Club QL 21
Experts métier
Visualise
la base de
test et la
couverture
associée
Analyste
de test
Produit le
référentiel
de tests
Développeur
Accède au
suivi des
anomalies et
informations
reliées
Chef de projet
Suit l'évolution
du projet de
test et des
anomalies
Automaticien
de test
Implémente
la couche
d'automatisation
Testeur
Met en œuvre
les tests
manuellement
ou
automatiquement
Référentiel
de
tests
Un exemple
Contexte
•  Application web ServiDirect
•  Souscription de contrat d’assurance maladie
•  Développée par CLIO SA pour GMA
•  Validation du contenu fonctionnel, des règles de
calcul des contrats et de la navigation.
http://www.servidirect.com
F. Bouquet - Club QL 23
Spécifica/ons'
Itérations
Analyste'de'test!
Modèles'
Test!
Designer!
Cibles'
Scénarios'
Plan'et''
cas'de'test'
Couverture'
exigences'
Publica2on!
vers!TestLink/!
Selenium!
Mots@clés'
implémentés'
Ingénieur'
d’automa/sa/on'
Ingénieur'
'mé/er'
Mots@clés'
Scripts'de'test''
executable
Plan'et''
cas'de'test'
'
Référen/el'de'
tests'
'
'
'
'
Test!Designer!3.4!
IBM!Ra2onal!SoAware!
Architect!
Selenium!1.0!
Test!Link!1.8!
F. Bouquet - Club QL 24
F. Bouquet - Club QL 25
Modèle statique
En2tés!et!ac2ons!mé2ers!
Classes!
d’équivalence!
F. Bouquet - Club QL 26
Modèle dynamique
Naviga2on!IHM!
Règles!mé2ers!
Métriques
40 exigences fonctionnelles
7 classes UML
9 suites de tests
37 mots-clés gérés dans l’automatisation
Génération de tests
F. Bouquet - Club QL 27
Publication TestLink
F. Bouquet - Club QL 28
Infrastructure d’exécutions
F. Bouquet - Club QL 29
scripts de tests
beanshell (bsh)
cas de testid cas de test
publication exécution
lanceur.php
fichiers (bsh)
application
fichiers (bsh)
écrit
résultats
API XMLRPC
PHP
Java
serveur
Métriques
86 cas de tests / 162 tests physiques
19 tests liés à une table de données
1078 pas de tests au total
Bilan
•  Couverture: (150 cas testés et automatisés)
•  5 numéros postaux
•  10 valeurs d’âge différentes
•  1 valeur pour le genre
•  1 composition de famille différente
•  1 valeur pour la couverture accident
•  3 valeurs pour le modèle d’assurance
•  1 valeur pour la franchise
•  7 bugs fonctionnels détectés et corrigés
•  Intégration forte TestLink/Selenium
F. Bouquet - Club QL 30
Métriques de production
•  Ratios
•  7,8 cas de tests logiques conçus, documentés et tracés/exigences par j.h
•  8,1 scripts de tests concrets automatisés par j.h
F. Bouquet - Club QL 31
Taches Temps en j.h
Production du référentiel de tests :
Modélisation et génération des tests
11 j.h
Automatisation des mots d’actions ServiDirect 18 j.h
Mise en place et gestion des données externes
ServiDirect
2 j.h
TOTAL 35 j.h
‘Specialized Tools Fill In The Gaps (…) Test modeling tools
leverage UML modeling to create paths of application behavior.
This can save countless hours for team members (…)’
automated testing into the PQM life cycle.‘
‘ The Testing Tools Landscape: 2010 ‘ Forrester Research, Inc.,
April, 2010
‘Although the traditional software testing market has seen consolidation, a
growing number of vendors continues to enter the market. This includes
new script-free and model-driven testing environments (…).’
‘ Magic Quadrant for Integrated Sw Quality Suite ‘ Gartner,
July, 2009
Gartner
Conclusion – MBT & Analyse du marché
32
‘Model-driven testing. In agility-driven development, quality
automation tends to lag development by roughly one or two
cycles. (…), some vendors have introduced model-driven
automated testing into the PQM life cycle.‘
‘ ISVs: Solving the " Innovation Impact" on Product Quality
Management ‘ IDC, March, 2011
Points Clés :
• Organisation
• Compétences
• Professionnel du test
• MBT $ MDT
• Alignement Spécification
et Développement
Merci de votre attention
F. Bouquet - Club QL 33
DUNOD
2nd Edition
Nov. 2011
? ?
?
? ?
? ?
? ?
?
1 of 33

Recommended

Soirée du Test Logiciel - Intelligence Artificielle dans le test - J. VAN QUA... by
Soirée du Test Logiciel - Intelligence Artificielle dans le test - J. VAN QUA...Soirée du Test Logiciel - Intelligence Artificielle dans le test - J. VAN QUA...
Soirée du Test Logiciel - Intelligence Artificielle dans le test - J. VAN QUA...TelecomValley
2.3K views36 slides
Soirée du Test Logiciel - Administration et orchestration des tests avec Refe... by
Soirée du Test Logiciel - Administration et orchestration des tests avec Refe...Soirée du Test Logiciel - Administration et orchestration des tests avec Refe...
Soirée du Test Logiciel - Administration et orchestration des tests avec Refe...TelecomValley
923 views22 slides
ATDD Visuel by
ATDD VisuelATDD Visuel
ATDD VisuelMarc Hage Chahine
773 views23 slides
Soirée du Test Logiciel - Démystifier les xDD - C. TARDIEU, Acp qualife by
Soirée du Test Logiciel - Démystifier les xDD - C. TARDIEU, Acp qualifeSoirée du Test Logiciel - Démystifier les xDD - C. TARDIEU, Acp qualife
Soirée du Test Logiciel - Démystifier les xDD - C. TARDIEU, Acp qualifeTelecomValley
1.5K views29 slides
Introduction à la validation de logiciel by
Introduction à la validation de logicielIntroduction à la validation de logiciel
Introduction à la validation de logicielJean-Paul CARMONA
20K views18 slides
Le rôle du testeur et le Blackbox testing by
Le rôle du testeur et le Blackbox testingLe rôle du testeur et le Blackbox testing
Le rôle du testeur et le Blackbox testingGeeks Anonymes
156 views68 slides

More Related Content

What's hot

Qualité logiciel - Generalités by
Qualité logiciel - GeneralitésQualité logiciel - Generalités
Qualité logiciel - GeneralitésChristophe Rochefolle
7.3K views74 slides
Altran soirée du test logiciel - assez des c 05-10-17 by
Altran   soirée du test logiciel - assez des c 05-10-17Altran   soirée du test logiciel - assez des c 05-10-17
Altran soirée du test logiciel - assez des c 05-10-17Marc Hage Chahine
1.6K views39 slides
Présentation Agile Testing by
Présentation Agile TestingPrésentation Agile Testing
Présentation Agile Testingjubehr
8.1K views39 slides
Futur tunis by
Futur tunisFutur tunis
Futur tunisMarc Hage Chahine
207 views20 slides
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 mars by
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 marsCdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 mars
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 marsAgile Montréal
184 views39 slides
Test de logiciels by
Test de logiciels Test de logiciels
Test de logiciels Bilel Abed
8.1K views42 slides

What's hot(20)

Altran soirée du test logiciel - assez des c 05-10-17 by Marc Hage Chahine
Altran   soirée du test logiciel - assez des c 05-10-17Altran   soirée du test logiciel - assez des c 05-10-17
Altran soirée du test logiciel - assez des c 05-10-17
Marc Hage Chahine1.6K views
Présentation Agile Testing by jubehr
Présentation Agile TestingPrésentation Agile Testing
Présentation Agile Testing
jubehr8.1K views
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 mars by Agile Montréal
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 marsCdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 mars
CdP QA - QA hackathon - Intelligence artificielle - Meetup du 9 mars
Agile Montréal184 views
Test de logiciels by Bilel Abed
Test de logiciels Test de logiciels
Test de logiciels
Bilel Abed8.1K views
Introduction à la qualité logicielle (1/5) by Sylvain Leroy
Introduction à la qualité logicielle (1/5)Introduction à la qualité logicielle (1/5)
Introduction à la qualité logicielle (1/5)
Sylvain Leroy1.7K views
Qualification Et Cycle De Vie Du Logiciel by danaobrest
Qualification Et Cycle De Vie Du LogicielQualification Et Cycle De Vie Du Logiciel
Qualification Et Cycle De Vie Du Logiciel
danaobrest22K views
Strategie de test à agile tour bordeaux by Nicolas Fédou
Strategie de test à agile tour bordeauxStrategie de test à agile tour bordeaux
Strategie de test à agile tour bordeaux
Nicolas Fédou803 views
Le test dans un cycle agile. Comment faire ? by Gilles Brieux
Le test dans un cycle agile. Comment faire ?Le test dans un cycle agile. Comment faire ?
Le test dans un cycle agile. Comment faire ?
Gilles Brieux780 views
Industrialisez vos projets Php by ALTER WAY
Industrialisez vos projets Php Industrialisez vos projets Php
Industrialisez vos projets Php
ALTER WAY3.6K views
20171122 03 - Les tests de performance en environnement DevOps by LeClubQualiteLogicielle
20171122 03 - Les tests de performance en environnement DevOps20171122 03 - Les tests de performance en environnement DevOps
20171122 03 - Les tests de performance en environnement DevOps
Automatisation des tests - objectifs et concepts - partie 2 by Christophe Rochefolle
Automatisation des tests  - objectifs et concepts - partie 2Automatisation des tests  - objectifs et concepts - partie 2
Automatisation des tests - objectifs et concepts - partie 2
Soirée du Test Logiciel - Les dernières tendances du test logiciel - B. LEGEA... by TelecomValley
Soirée du Test Logiciel - Les dernières tendances du test logiciel - B. LEGEA...Soirée du Test Logiciel - Les dernières tendances du test logiciel - B. LEGEA...
Soirée du Test Logiciel - Les dernières tendances du test logiciel - B. LEGEA...
TelecomValley2.1K views
Stratégie de tests type by madspock
Stratégie de tests typeStratégie de tests type
Stratégie de tests type
madspock38.3K views
Automatisation des tests - objectifs et concepts - partie 1 by Christophe Rochefolle
Automatisation des tests  - objectifs et concepts - partie 1Automatisation des tests  - objectifs et concepts - partie 1
Automatisation des tests - objectifs et concepts - partie 1
Developement logiciel: comment livrer de la qualite ? by Innobec
Developement logiciel: comment livrer  de la qualite ?Developement logiciel: comment livrer  de la qualite ?
Developement logiciel: comment livrer de la qualite ?
Innobec908 views
20130523 04 - Grille d'évaluation - Gestion du patrimoine de test by LeClubQualiteLogicielle
20130523 04 - Grille d'évaluation - Gestion du patrimoine de test20130523 04 - Grille d'évaluation - Gestion du patrimoine de test
20130523 04 - Grille d'évaluation - Gestion du patrimoine de test

Similar to 20120124 05 - Le Model-based Testing aujourd'hui (Inria)

[Scrum Day 2011] Outillage Agile dans un environnement Microsoft by
[Scrum Day 2011] Outillage Agile dans un environnement Microsoft[Scrum Day 2011] Outillage Agile dans un environnement Microsoft
[Scrum Day 2011] Outillage Agile dans un environnement MicrosoftChristophe HERAL
2.8K views36 slides
Agilite togo jug_final by
Agilite togo jug_finalAgilite togo jug_final
Agilite togo jug_finalagnes_crepet
1.2K views62 slides
20070320 04 - Plateforme d'integration continue (PSA) by
20070320 04 - Plateforme d'integration continue (PSA)20070320 04 - Plateforme d'integration continue (PSA)
20070320 04 - Plateforme d'integration continue (PSA)LeClubQualiteLogicielle
314 views28 slides
Développement d'un grand projet piloté par les tests (BDD) by
Développement d'un grand projet piloté par les tests (BDD)Développement d'un grand projet piloté par les tests (BDD)
Développement d'un grand projet piloté par les tests (BDD)Laurent PY
662 views39 slides
Lunch learn 5 sep2013 by
Lunch learn 5 sep2013Lunch learn 5 sep2013
Lunch learn 5 sep2013Marc-Eric LaRocque
2.1K views32 slides
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022 by
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022Agile Montréal
109 views35 slides

Similar to 20120124 05 - Le Model-based Testing aujourd'hui (Inria)(20)

[Scrum Day 2011] Outillage Agile dans un environnement Microsoft by Christophe HERAL
[Scrum Day 2011] Outillage Agile dans un environnement Microsoft[Scrum Day 2011] Outillage Agile dans un environnement Microsoft
[Scrum Day 2011] Outillage Agile dans un environnement Microsoft
Christophe HERAL2.8K views
Agilite togo jug_final by agnes_crepet
Agilite togo jug_finalAgilite togo jug_final
Agilite togo jug_final
agnes_crepet1.2K views
Développement d'un grand projet piloté par les tests (BDD) by Laurent PY
Développement d'un grand projet piloté par les tests (BDD)Développement d'un grand projet piloté par les tests (BDD)
Développement d'un grand projet piloté par les tests (BDD)
Laurent PY662 views
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022 by Agile Montréal
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022
CdP QA - QA hackathon - Intelligence artificielle - 27 janvier 2022
Agile Montréal109 views
Enrichir Ses Méthodes Avec des Processus Unifiés Agiles by Romain Couturier
Enrichir Ses Méthodes Avec des Processus Unifiés AgilesEnrichir Ses Méthodes Avec des Processus Unifiés Agiles
Enrichir Ses Méthodes Avec des Processus Unifiés Agiles
Romain Couturier2K views
Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine... by Business At Work
Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...Etude de cadrage clef de la réussite d'un upgrade oracle people soft   busine...
Etude de cadrage clef de la réussite d'un upgrade oracle people soft busine...
Business At Work1.1K views
Application lifecycle management by Klee Group
Application lifecycle managementApplication lifecycle management
Application lifecycle management
Klee Group2.1K views
Agile Data Warehousing - 7 pillars - Procima Experts by Marc-Eric LaRocque
Agile Data Warehousing - 7 pillars - Procima ExpertsAgile Data Warehousing - 7 pillars - Procima Experts
Agile Data Warehousing - 7 pillars - Procima Experts
Marc-Eric LaRocque1.1K views
XStudio - Présentation Télécom Valley by Marc Hage Chahine
XStudio - Présentation Télécom ValleyXStudio - Présentation Télécom Valley
XStudio - Présentation Télécom Valley
Marc Hage Chahine345 views
Offre Audit et Test De Performance by Cabinet Openi
Offre Audit et Test De PerformanceOffre Audit et Test De Performance
Offre Audit et Test De Performance
Cabinet Openi1.2K views
La qualité au service de vos projets digitaux ! Retour sur le PDJ co-organisé... by Julie DULOT
La qualité au service de vos projets digitaux ! Retour sur le PDJ co-organisé...La qualité au service de vos projets digitaux ! Retour sur le PDJ co-organisé...
La qualité au service de vos projets digitaux ! Retour sur le PDJ co-organisé...
Julie DULOT149 views
La revue de code : agile, lean, indispensable ! by Lucian Precup
La revue de code : agile, lean, indispensable !La revue de code : agile, lean, indispensable !
La revue de code : agile, lean, indispensable !
Lucian Precup4.3K views
Développement efficace d'application logicielle by Pyxis Technologies
Développement efficace d'application logicielleDéveloppement efficace d'application logicielle
Développement efficace d'application logicielle
Pyxis Technologies1.1K views
SharePoint Summit 2012 - Gouvernance et évolution d'une équipe de développeme... by Sébastien Levert
SharePoint Summit 2012 - Gouvernance et évolution d'une équipe de développeme...SharePoint Summit 2012 - Gouvernance et évolution d'une équipe de développeme...
SharePoint Summit 2012 - Gouvernance et évolution d'une équipe de développeme...
Sébastien Levert926 views

More from LeClubQualiteLogicielle

20171122 01 - REX : Intégration et déploiement continu chez Engie by
20171122 01 - REX : Intégration et déploiement continu chez Engie20171122 01 - REX : Intégration et déploiement continu chez Engie
20171122 01 - REX : Intégration et déploiement continu chez EngieLeClubQualiteLogicielle
1.1K views30 slides
20171122 02 - Engage developers to use better coding practices by
20171122 02 - Engage developers to use better coding practices20171122 02 - Engage developers to use better coding practices
20171122 02 - Engage developers to use better coding practicesLeClubQualiteLogicielle
269 views21 slides
20171122 - Accueil Club Qualité Logicielle by
20171122 - Accueil Club Qualité Logicielle 20171122 - Accueil Club Qualité Logicielle
20171122 - Accueil Club Qualité Logicielle LeClubQualiteLogicielle
415 views12 slides
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des... by
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...LeClubQualiteLogicielle
460 views23 slides
20151013 - Agirc arrco : Behavior driven development by
20151013 - Agirc arrco : Behavior driven development20151013 - Agirc arrco : Behavior driven development
20151013 - Agirc arrco : Behavior driven developmentLeClubQualiteLogicielle
414 views30 slides
20151013 - Réduire les coûts des tests de performance ? by
20151013 - Réduire les coûts des tests de performance ?20151013 - Réduire les coûts des tests de performance ?
20151013 - Réduire les coûts des tests de performance ?LeClubQualiteLogicielle
180 views19 slides

More from LeClubQualiteLogicielle(20)

20171122 01 - REX : Intégration et déploiement continu chez Engie by LeClubQualiteLogicielle
20171122 01 - REX : Intégration et déploiement continu chez Engie20171122 01 - REX : Intégration et déploiement continu chez Engie
20171122 01 - REX : Intégration et déploiement continu chez Engie
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des... by LeClubQualiteLogicielle
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...
20151013 - Crédit Mutuel ARKEA : mise en place d'une traçabilité outillée des...
20140410 - Cartographie applicative multi-technologies et analyse d'impact by LeClubQualiteLogicielle
20140410 - Cartographie applicative multi-technologies et analyse d'impact20140410 - Cartographie applicative multi-technologies et analyse d'impact
20140410 - Cartographie applicative multi-technologies et analyse d'impact
20140410 - Implémentation de squash TM-TA - Architecture et méthodologie by LeClubQualiteLogicielle
20140410 - Implémentation de squash TM-TA - Architecture et méthodologie20140410 - Implémentation de squash TM-TA - Architecture et méthodologie
20140410 - Implémentation de squash TM-TA - Architecture et méthodologie
20140410 - Gestion des identités, traçabilité des accés - Analogie avec la qu... by LeClubQualiteLogicielle
20140410 - Gestion des identités, traçabilité des accés - Analogie avec la qu...20140410 - Gestion des identités, traçabilité des accés - Analogie avec la qu...
20140410 - Gestion des identités, traçabilité des accés - Analogie avec la qu...
20130113 02 - TMMI, un modèle pour rentabiliser une organisation de test et a... by LeClubQualiteLogicielle
20130113 02 - TMMI, un modèle pour rentabiliser une organisation de test et a...20130113 02 - TMMI, un modèle pour rentabiliser une organisation de test et a...
20130113 02 - TMMI, un modèle pour rentabiliser une organisation de test et a...
20130113 06 - Travaux de recherche sur la corrélation entre qualité du code e... by LeClubQualiteLogicielle
20130113 06 - Travaux de recherche sur la corrélation entre qualité du code e...20130113 06 - Travaux de recherche sur la corrélation entre qualité du code e...
20130113 06 - Travaux de recherche sur la corrélation entre qualité du code e...
20130113 04 - Tests d'integration et virtualisation - La vision IBM by LeClubQualiteLogicielle
20130113 04 - Tests d'integration et virtualisation - La vision IBM20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130113 04 - Tests d'integration et virtualisation - La vision IBM
20130523 06 - The mathematics the way algorithms think / the mathematics the ... by LeClubQualiteLogicielle
20130523 06 - The mathematics the way algorithms think / the mathematics the ...20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20130523 06 - The mathematics the way algorithms think / the mathematics the ...
20131210 - Rex Bouygues Telecom - Integration et inspection continue avec RTC... by LeClubQualiteLogicielle
20131210 - Rex Bouygues Telecom - Integration et inspection continue avec RTC...20131210 - Rex Bouygues Telecom - Integration et inspection continue avec RTC...
20131210 - Rex Bouygues Telecom - Integration et inspection continue avec RTC...

20120124 05 - Le Model-based Testing aujourd'hui (Inria)

  • 1. Model-Based Testing aujourd’hui Fabrice Bouquet Club Qualité Logiciel Paris, 24 Janvier 2012
  • 2. Plan •  Test •  Attendu •  Organisation •  Model-Based Testing (MBT) •  Où •  Quoi •  Organisation •  Agilité et MBT F. Bouquet - Club QL 2
  • 3. Où en sont les organisations ?
  • 4. Tester dans les organisations IT •  Top 4 des points d’intérêt (Europe de l’Ouest) 1.  Choisir une méthodologie de test s’intégrant dans la démarche agile utilisée dans le développement 2.  Permettre une couverture automatisée des tests pour construire les tests de façon agile 3.  Plus se concentrer sur les aspects non-fonctionnels comme la performance, la disponibilité, sécurité… 4.  Avoir une stratégie de test qui optimise l’usage des services de tests (traditionnel ou cloud). F. Bouquet - Club QL 4 Source IDC - European Services, Enterprise Application Testing Survey, March 2011 Maturité fonction QA/Test : passer d’une approche ad hoc vers une approche réfléchie et cohérente
  • 5. Séparation entre développement et test logiciel F. Bouquet - Club QL 5 Source IDC - European Services, Enterprise Application Testing Survey, March 2011
  • 7. Processus du test à partir de modèles F. Bouquet - Club QL 7 Spécifications Techniques de Besoins Modèle formel
 StateCharts,B,UML,… # Cas de test # générés# Implémentation# Modélisation# Validation#Scripts de tests# exécutables# Génération de scripts# Génération de Test# Développement#
  • 8. Niveaux de test F. Bouquet - Club QL 8 Besoins client Exigences Conception Code T. Acceptation T. Système Intégration T. Intégration Tests Unitaires Model-Based Testing
  • 9. 9 Applicatif Test de Bout-en- bout au cœur du processus métier Test d’acceptation de multi applications Test Fonctionnel d’une seule application Niveau Système d’Informations Niveau Système Niveau Applicatif Nombre de tests petit, valeur métier grande Nombre de tests moyen, Test orienté utilisateur final Beaucoup de tests, Validation presque exhaustive
  • 11. Méthodologie de tests •  RRBT – Risk & Requirements Based Testing •  Lien entre risques et exigences : -  Quoi modéliser / Priorité •  Effort de tests piloté par analyse de risque : -  Quel Test => Modèle -  Couverture •  Plusieurs méthodologies ou pratiques : -  Sogeti Tmap® -  Logica RRBT -  ISTQB F. Bouquet - Club QL 11
  • 12. Autour du test F. Bouquet - Club QL 12 Exigences Outils de gestion d’exigences Modèle de processus métier Référentiel de tests Modèle de domaine et comportemental Outil de génération de test MBT Outils d’exécution des tests Système de gestion des processus métier Outil de modélisation Outil de gestion de tests Import des artéfacts Intégration entre outils Aris, Tibco, Mega HP et IBM RSA, TopCased, ! Papyrus, Ad’hoc! Tableur, Doors, HP ALM, IBM Rat. Requier. Composer HP, IBM, salomeFTM Squash TM, Testlink Conformiq, Smartesting, Test optimal, BenderRBT IBM RFT, Selenium, HP QuickTestPro, Sahi
  • 13. Gestionnaire d’exigences Gestionnaire de tests 13 Processus de tests Analyste Métier Conception de tests Analyste de Test Tests générés Exigences Processus métiers Couche d’adaptation Automaticien de Test Scripts Exécutable Tests Manuels Traçabilité: Ex. Tests Modèles Testeurs Manuel itérations Courtes Agilité
  • 14. 14 Modèle pour la génération automatique de tests Modèle'de'processus'mé/er' !! Modèle'de'domaine'ou' données'de'tests' Modèle'comportemental'
  • 15. Génération de tests piloté par les modèles et la stratégie de test F. Bouquet - Club QL 15 Strétégie'de'test' " 'Couverture'de'modèle' " 'Configura/on' " 'Etat'Ini/al • Comportement attendu • Point d’observation • Processus et déroulement • Règles métier • Documentation Mots d’actions Génération de test automatique Qu’est-ce que l’on veut tester ? Comment le tester ? Analyst ede test
  • 16. Les personnes dans l’organisation
  • 17. 17 Rôles: Séparation des tâches Eléments Test Eléments modèle Analyste métier Automaticien Analyste de tests Business Models & Flows Défini Mots-actions pour les tests automatiques Comportement attendu & Données BPMN UML stereotype réalisé Testeur
  • 18. Rôle de l’analyste métier et profil F. Bouquet - Club QL 18 Role Actions Skills (existing / new) Analyste Métier (BA) ! Ecrire et concevoir les besoins métiers ! Piloter les tests par les risques "  Capacité de documentation fonctionnelle # Notation processus (BPMN) # Stratégie de Test Profil ! Connaître les processus métiers et les règles fonctionnelles ! Connaître comment trouver l’information (perdu) dans l’entreprise ! Orienté exigences ! Orienté risques ! Orienté tests ! Capacité d’abstraction (e.g. BPMN) ! Orienté utilisateurs
  • 19. Rôle de l’analyste de test et profile F. Bouquet - Club QL 19 Role Actions Skills (existing / new) Analyste de tests (TA) ! Appliquer la stratégie de test ! Modéliser les comportements de l’application et valider le cahier des charges ! Générer les plans de tests ! Piloter l’exécution des tests " Professionnel du Test # Modélisation et génération de tests Profil ! Bonne connaissance des méthodes de tests fonctionnels ! Connaitre les méthodes Orientés Objets (ou expérience en dev.) ! Expérience en modélisation est un plus ! Connaitre les outils de tests de l’entreprise ! Connaitre l’organisation du projet, le cycle de vie et les besoins de tests ! Connaissance élémentaire en automatisation de tests
  • 20. Other roles in the Smartesting project F. Bouquet - Club QL 20 Role Actions Skills (existing / new) Gestionnaire de projet (PM) ! Gérer l’équipe de test ! Gérer le test par le risque "  Capacité en gestion de projet "  Capacité en documentation fonctionnelle # Notation de processus (BPMN) # Stratégie de test Testeurs Execute les cas de tests à la main " Connaissance légère de l’application est un + Expert d’automatisation Developper la bibliothèque de mots d’actions " Connaissances requises dans les robots # Gestion des éléments téchniques Equipe de développemnet ! Développe / customize l’application pour les utilisateurs " Développement " Customisation " Écriture de spécification technique " Tests Unitaires
  • 21. Personne et Rôle F. Bouquet - Club QL 21 Experts métier Visualise la base de test et la couverture associée Analyste de test Produit le référentiel de tests Développeur Accède au suivi des anomalies et informations reliées Chef de projet Suit l'évolution du projet de test et des anomalies Automaticien de test Implémente la couche d'automatisation Testeur Met en œuvre les tests manuellement ou automatiquement Référentiel de tests
  • 23. Contexte •  Application web ServiDirect •  Souscription de contrat d’assurance maladie •  Développée par CLIO SA pour GMA •  Validation du contenu fonctionnel, des règles de calcul des contrats et de la navigation. http://www.servidirect.com F. Bouquet - Club QL 23
  • 25. F. Bouquet - Club QL 25 Modèle statique En2tés!et!ac2ons!mé2ers! Classes! d’équivalence!
  • 26. F. Bouquet - Club QL 26 Modèle dynamique Naviga2on!IHM! Règles!mé2ers!
  • 27. Métriques 40 exigences fonctionnelles 7 classes UML 9 suites de tests 37 mots-clés gérés dans l’automatisation Génération de tests F. Bouquet - Club QL 27
  • 29. Infrastructure d’exécutions F. Bouquet - Club QL 29 scripts de tests beanshell (bsh) cas de testid cas de test publication exécution lanceur.php fichiers (bsh) application fichiers (bsh) écrit résultats API XMLRPC PHP Java serveur Métriques 86 cas de tests / 162 tests physiques 19 tests liés à une table de données 1078 pas de tests au total
  • 30. Bilan •  Couverture: (150 cas testés et automatisés) •  5 numéros postaux •  10 valeurs d’âge différentes •  1 valeur pour le genre •  1 composition de famille différente •  1 valeur pour la couverture accident •  3 valeurs pour le modèle d’assurance •  1 valeur pour la franchise •  7 bugs fonctionnels détectés et corrigés •  Intégration forte TestLink/Selenium F. Bouquet - Club QL 30
  • 31. Métriques de production •  Ratios •  7,8 cas de tests logiques conçus, documentés et tracés/exigences par j.h •  8,1 scripts de tests concrets automatisés par j.h F. Bouquet - Club QL 31 Taches Temps en j.h Production du référentiel de tests : Modélisation et génération des tests 11 j.h Automatisation des mots d’actions ServiDirect 18 j.h Mise en place et gestion des données externes ServiDirect 2 j.h TOTAL 35 j.h
  • 32. ‘Specialized Tools Fill In The Gaps (…) Test modeling tools leverage UML modeling to create paths of application behavior. This can save countless hours for team members (…)’ automated testing into the PQM life cycle.‘ ‘ The Testing Tools Landscape: 2010 ‘ Forrester Research, Inc., April, 2010 ‘Although the traditional software testing market has seen consolidation, a growing number of vendors continues to enter the market. This includes new script-free and model-driven testing environments (…).’ ‘ Magic Quadrant for Integrated Sw Quality Suite ‘ Gartner, July, 2009 Gartner Conclusion – MBT & Analyse du marché 32 ‘Model-driven testing. In agility-driven development, quality automation tends to lag development by roughly one or two cycles. (…), some vendors have introduced model-driven automated testing into the PQM life cycle.‘ ‘ ISVs: Solving the " Innovation Impact" on Product Quality Management ‘ IDC, March, 2011 Points Clés : • Organisation • Compétences • Professionnel du test • MBT $ MDT • Alignement Spécification et Développement
  • 33. Merci de votre attention F. Bouquet - Club QL 33 DUNOD 2nd Edition Nov. 2011 ? ? ? ? ? ? ? ? ? ?