Generating Complete and Finite Test Suite for ioco: Is It Possible?

Testing from Input/Output Transition Systems has been intensely investigated. The conformance between the implementation and the specification is often determined by the so-called ioco-relation. However, generating tests for ioco is usually hindered by the problem of conflicts between inputs and outputs. Moreover, the generation is mainly based on nondeterministic methods, which may deliver complete test suites but require an unbounded number of executions. In this paper, we investigate whether it is possible to construct a finite test suite which is complete in a predefined fault domain for the classical ioco relation even in the presence of input/output conflicts. We demonstrate that it is possible under certain assumptions about the specification and implementation, by proposing a method for complete test generation, based on a traditional method developed for FSM.

[1]  Alexandre Petrenko,et al.  Synthesis of test experiments in some classes of automata , 1991 .

[2]  Alexandre Petrenko,et al.  Transition covering tests for systems with queues , 2009 .

[3]  Nina Yevtushenko,et al.  Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs , 2011, ICTSS.

[4]  Thierry Jéron,et al.  TGV : theory , principles and algorithms A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems , 2004 .

[5]  Nina Yevtushenko,et al.  Testing Transition Systems with Input and Output Testers , 2003, TestCom.

[6]  Jan Tretmans,et al.  A Queue Model Relating Synchronous and Asynchronous Communication , 1992, PSTV.

[7]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[8]  Jan Tretmans,et al.  TorX: Automated Model-Based Testing , 2003 .

[9]  Jan Tretmans,et al.  Test Generation with Inputs, Outputs and Repetitive Quiescence , 1996, Softw. Concepts Tools.

[10]  Alexandre Petrenko,et al.  Test Generation for Specifications Modeled by Input/Output Automata , 1998, IWTCS.

[11]  M. P. Vasilevskii.  Failure diagnosis of automata , 1973 .

[12]  Alexandre Petrenko,et al.  Generating asynchronous test cases from test purposes , 2011, Inf. Softw. Technol..

[13]  Tsun S. Chow,et al.  Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.

[14]  Victor V. Kuliamin,et al.  Formal Conformance Testing of Systems with Refused Inputs and Forbidden Actions , 2006, MBT.

[15]  Alexandre Petrenko,et al.  On Testing Partially Specified IOTS through Lossless Queues , 2004, TestCom.

[16]  Robert M. Hierons,et al.  Implementation Relations for Testing Through Asynchronous Channels , 2013, Comput. J..

[17]  Jan Tretmans,et al.  Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.

[18]  F. C. Hennine.  Fault detecting experiments for sequential circuits , 1964, SWCT 1964.

[19]  Robert M. Hierons.  The complexity of asynchronous model based testing , 2012, Theor. Comput. Sci..