Teaching Model-Based Testing with {L}eirios {T}est {G}enerator

Frédéric Dadeau 1, 2 Régis Tissot 2
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This paper proposes a technique to encourage the interest of students in learning formal methods. Our course is focused on the B method, involving basic knowledge of set theory, invariance proofs, refinement techniques and so on. While lectures and tutorials cover a large range of such concepts, the practical work is focused on applying the principles of a model-based approach in the context of test generation. This paper explains the pratical outcome of the course, through the Leirios Test Generator tool, that gives an interesting and playful use of the B method, by simulating the execution of the model through animation, and by generating tests –based on the B model– that can be run on an implementation. In order to make sure that students will be interested in applying these techniques, we challenge them to play a game consisting in detecting mutants of a program with their model-based tests. The feedback from the students is very positive here, and suggests that formal methods are more likely to be understood if their interest is shown through a concrete application.
Complete list of metadatas

Cited literature [10 references]  Display  Hide  Download

Contributor : Jean-Michel Caricand <>
Submitted on : Friday, February 4, 2011 - 3:37:19 PM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM
Long-term archiving on : Thursday, May 5, 2011 - 3:16:14 AM


Files produced by the author(s)


  • HAL Id : hal-00563286, version 1


Frédéric Dadeau, Régis Tissot. Teaching Model-Based Testing with {L}eirios {T}est {G}enerator. FORMED'08, Int. Workshop on Formal Methods in Computer Science Education, co-located with ETAPS'2008), 2008, Hungary. pp.129--138. ⟨hal-00563286⟩



Record views


Files downloads