Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Partial-Specification Driven Compositional Testing Method (2007)
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.
