Some issues on testing theory and its applications

This paper presents a summary of some issues that appear to be relevant to testing theory and its applications. These issues are linked to formal methods used for test derivation, to the semantic models chosen to represent these specifications, and to the appropriate techniques needed for selecting a reasonable test effort. A discussion is presented in a polemical fashion trying to illustrate the problems related to the translation of one model into another, to non deterministic and partially specified systems, to the size of the specifications and test suites and the ways to reduce them.

[1]  G. Bochmann,et al.  Conformance Relations and Test Derivation , 1993, Protocol Test Systems.

[2]  Ana R. Cavalli,et al.  Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications , 1992, Protocol Test Systems.

[3]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[4]  Elaine J. Weyuker,et al.  Analyzing Partition Testing Strategies , 1991, IEEE Trans. Software Eng..

[5]  Cheng Wu,et al.  Failure-Equivalent Transformation of Transition Systems to Avoid Internal Actions , 1992, Inf. Process. Lett..

[6]  F. C. Hennie.  Fault detecting experiments for sequential circuits , 1964, SWCT.

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

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

[9]  Carl A. Sunshine,et al.  Protocol Specification, Testing and Verification - Guest Editorial , 1982, Comput. Networks.

[10]  Khalil Drira.  The Refusal Graph: a Tradeoff between Verification and Test , 1993, Protocol Test Systems.

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

[12]  Krishan K. Sabnani,et al.  A Protocol Test Generation Procedure , 1988, Comput. Networks.

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

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

[15]  Ousmane Koné,et al.  Deriving Coordinated Testers for Interoperability , 1993, Protocol Test Systems.

[16]  Marie-Claude Gaudel,et al.  Test Selection Based on ADT Specifications , 1992, Protocol Test Systems.

[17]  Arthur Gill,et al.  Introduction to the theory of finite-state machines , 1962 .

[18]  Ana R. Cavalli,et al.  Improving Conformance Testing for LOTOS , 1993, FORTE.

[19]  David Lee,et al.  Testing finite state machines , 1991, STOC '91.

[20]  Gregor von Bochmann,et al.  Testing Non-Deterministic State Machines with Fault Coverage , 1991, Protocol Test Systems.