Developments in Testing Transition Systems

This paper discusses some of the developments in the theory of test generation from labelled transition systems over the last decade, and puts these devel­opments in a historical perspective. These developments are driven by the need to make testing theory applicable to realistic systems. We illustrate the developments that have taken place in a chronological order, and we discuss the main motivations that led to these developments. In this paper the claim is made that testing theory (slowly) narrows the gap with testing practice, and that progress is made in designing test generation algorithms that can be used in realistic situations while maintaining a sound theoretical basis.

[1]  Jan Tretmans,et al.  On Asynchronous Testing , 1992, Protocol Test Systems.

[2]  Jan Tretmans,et al.  Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation , 1996, Comput. Networks ISDN Syst..

[3]  Clazien D. Wezeman The CO-OP Method for Compositional Derivation of Conformance Testers , 1989, PSTV.

[4]  Samson Abramsky,et al.  Observation Equivalence as a Testing Equivalence , 1987, Theor. Comput. Sci..

[5]  G. Leduc Conformance relation , associated equivalence , and minimum canonical tester in LOTOS , 1991 .

[6]  Ferhat Khendek,et al.  Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[7]  David Lee,et al.  Testing Finite-State Machines: State Identification and Verification , 1994, IEEE Trans. Computers.

[8]  Rob J. van Glabbeek,et al.  The Linear Time - Branching Time Spectrum II , 1993, CONCUR.

[9]  A. W. Heerink,et al.  Testing theory in practice: a simple experiment , 1996 .

[10]  Marc Phalippou Relations d'implantation et hypothèses de test sur des automates à entrées et sorties , 1994 .

[11]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[12]  Marc Phalippou Executable Testers , 1993, Protocol Test Systems.

[13]  Lex Heerink,et al.  Refusal Testing for Classes of Transition Systems with Inputs and Outputs , 1997, FORTE.

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

[15]  Guy Leduc,et al.  Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS , 1991, PSTV.

[16]  Alexandre Petrenko,et al.  Selecting test sequences for partially-specified nondeterministic finite state machines , 1995 .

[17]  Deepinder P. Sidhu,et al.  Formal Methods for Protocol Testing: A Detailed Study , 1989, IEEE Trans. Software Eng..

[18]  David H. Pitt,et al.  The Derivation of Conformance Tests from LOTOS Specifications , 1990, IEEE Trans. Software Eng..

[19]  Rocco De Nicola,et al.  Testing Equivalences for Processes , 1984, Theor. Comput. Sci..

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

[21]  Ana R. Cavalli,et al.  Some issues on testing theory and its applications , 1995 .

[22]  R. V. Glabbeek The Linear Time - Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves , 1993 .

[23]  Roberto Segala,et al.  Quiescence, Fairness, Testing, and the Notion of Implementation , 1997, Inf. Comput..

[24]  Gilles Bernot,et al.  Testing Against Formal Specifications: A Theoretical View , 1991, TAPSOFT, Vol.2.

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

[26]  Frits W. Vaandrager,et al.  On the relationship between process algebra and input/output automata , 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.

[27]  David Lee,et al.  Testing Finite State Machines: Fault Detection , 1995, J. Comput. Syst. Sci..

[28]  Nina Yevtushenko,et al.  Nondeterministic State Machines in Protocol Conformance Testing , 1993, Protocol Test Systems.

[29]  Rudie Alderden,et al.  COOPER - The Compositional Construction of a Canonical Tester , 1989, Formal Techniques for (Networked and) Distributed Systems.

[30]  Iain Phillips,et al.  Refusal Testing , 1986, Theoretical Computer Science.

[31]  Jan Tretmans,et al.  A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[32]  Luigi Logrippo,et al.  Derivation of Test Cases for LAP-B from a LOTOS Specification , 1989, FORTE.

[33]  Rom Langerak A Testing Theory for LOTOS using Deadlock Detection , 1989, PSTV.

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

[35]  Frank S. de Boer,et al.  Asynchronous communication in process algebra , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[36]  Khalil Drira,et al.  Refusal Graphs for Conformance Tester Generation and Simplification: A Computational Framework , 1993, Protocol Specification, Testing and Verification.