Ressources pour la journée Model-Based Testing in Practice

Ecole de Jeunes Chercheurs en Programmation - mercredi 24 juin 2015

Exposés de la matinée

• Bruno Legeard : Partie 1 - Introduction to MBT
• Frédéric Dadeau : Partie 2 - MBT with Smartesting CertifyIt
• Elizabeta Fourneret : Partie 3 - PKCS#11 case study

Travaux pratiques de l'après-midi

• Sujet de TP : MBT avec CertifyIt
• Spécification du cas d'étude : Distributeur Automatique de Billets
• Système sous test : DAB
• Mutants :
  • Mutant 1
  • Mutant 2
  • Mutant 3
  • Mutant 4
  • Mutant 5

Frédéric Dadeau - frederic.dadeau@univ-fcomte.fr

Bruno Legeard - bruno.legeard@univ-fcomte.fr

Elizabeta Fourneret - elizabeta.fourneret@femto-st.fr