Automatic generation of symbolic test purposes - Archive ouverte HAL Access content directly
Conference Papers Year : 2005

Automatic generation of symbolic test purposes

Abstract

We present a technique dedicated to compute automatically sets of test purposes from IOSTS specification. A coverage criterion, namely the inclusion criterion, is defined. Inclusion criterion is dedicated to decide whether set of test purposes are sufficiently complete or not. Test case generation is then studied.
Not file

Dates and versions

hal-00342173 , version 1 (26-11-2008)

Identifiers

  • HAL Id : hal-00342173 , version 1

Cite

Assia Touil, Christophe Gaston, Pascale Le Gall. Automatic generation of symbolic test purposes. Proceedings of the second MoDeVa (Model Design and Validation) workshop, 2005, Jamaica. pp.n.a. ⟨hal-00342173⟩
81 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More