Derivation of Tests from Timed Specifications According to Different Coverage Criteria

The main goal of this paper is to provide an algorithm to derive finite test suites, from timed specifications, according to a given coverage criterium. First, we introduce a timed extension of the finite state machines model. We consider that (output) actions take time to be performed. In addition to present our formalism, we develop a testing theory. Thus, we introduce a notion of timed test and define how to apply tests to implementations under test.

[1]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..

[2]  Teruo Higashino,et al.  Generating Test Cases for a Timed I/O Automaton Model , 1999, IWTCS.

[3]  Alexandre Petrenko,et al.  Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography , 2000, MOVEP.

[4]  Jan Tretmans,et al.  Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.

[5]  M. Ümit Uyar,et al.  Finite State Machine Based Formal Methods in Protocol Conformance Testing: From Theory to Implementation , 1991, Comput. Networks ISDN Syst..

[6]  Manuel Núñez,et al.  Conformance Testing Relations for Timed Systems , 2005, FATES.

[7]  Ferhat Khendek,et al.  Timed Wp-Method: Testing Real-Time Systems , 2002, IEEE Trans. Software Eng..

[8]  Sandro Morasca,et al.  Generating test cases for real-time systems from logic specifications , 1995, TOCS.

[9]  I. Lee,et al.  Automatic generation of tests for timing constraints from requirements , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

[10]  Farn Wang,et al.  Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems , 2005, ATVA.

[11]  Mark Harman,et al.  Testing conformance of a deterministic implementation against a non-deterministic stream X-machine , 2004, Theor. Comput. Sci..

[12]  Manuel Núñez,et al.  Specification, testing and implementation relations for symbolic-probabilistic systems , 2006, Theor. Comput. Sci..

[13]  G. Bochmann,et al.  Testing deterministic implementations from nondeterministic FSM specifications , 1996 .