Verimag

Technical Reports

Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Partial-Specification Driven Compositional Testing Method (2007)

TR-2007-4.pdf


Keywords: composition, partial-specification, requirement, test, formalism, concurrency, calculus

Abstract: 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 set of partial specification. Then a test case composition is performed guided by a formal requirement. The framework is presented here in its LTL-like and regular expressions applications, besides other specification formalisms can be added.

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 791386