A Compositional Testing Framework Driven by Partial Specifications

Yliès Falcone (1, 2, 3) , Jean-Claude Fernandez (1, 2, 4) , Laurent Mounier (1, 2) , Jean-Luc Richier (3)

1 VERIMAG - IMAG - VERIMAG
2 IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
3 LIG - Laboratoire d'Informatique de Grenoble
4 LSR - IMAG - Laboratoire Logiciels Systèmes Réseaux

We present a testing framework using a compositional approach to generate and execute test cases. Test cases are generated and combined with respect to a partial specification expressed as a set of requirements and elementary test cases. These approach and framework are supported by a prototype tool presented here. The framework is presented here in its LTL-like application, besides other specification formalisms can be added.

Domaines: Systèmes embarqués; Calcul formel [cs.SC]; Réseaux et télécommunications [cs.NI]

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. TESTCOM/FATES'07: TESTing of COMmunicating Systems/Formal Approaches to TESting, 2007, pp.107-122. ⟨hal-00346059⟩