Teaching Model-Based Testing with {L}eirios {T}est {G}enerator - Archive ouverte HAL
Conference Papers Year : 2008

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

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.
Fichier principal
Vignette du fichier
dt08_ip.pdf (400.32 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00563286 , version 1 (04-02-2011)

Identifiers

  • HAL Id : hal-00563286 , version 1

Cite

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⟩
145 View
383 Download

Share

More