Experiments on Nondeterministic Systems for the Reduction Relation

This paper studies the so-called reduction relation between systems represented as nondeterministic finite state machines. This relation requires that a machine produces a (sub)set of output sequences that can be produced by another machine in response to every input sequence. An approach to test generation for nondeterministic FSMs with respect to the reduction relation between implementations and their specification is elaborated. Results presented in this paper can also be used for analyzing relations between nondeterministic

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

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

[3]  Alexandre Petrenko,et al.  Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method , 1994, IEEE Trans. Software Eng..

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

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

[6]  Sagar Naik,et al.  Generation of Adaptive Test Cases from Nondeterministic Finite State Models , 1992, Protocol Test Systems.

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

[8]  Alexandre Petrenko.  Checking Experiments with Protocol Machines , 1991, Protocol Test Systems.

[9]  S. Seshu,et al.  Introduction to the theory of finite-state machines , 1963 .

[10]  R. J. vanGlabbeek.  The linear time - branching time spectrum , 1990 .

[11]  N. V. Evtushenko,et al.  Method of constructing a test experiment for an arbitrary deterministic automation , 1991 .

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

[13]  Nina Yevtushenko,et al.  Test Suite Generation from a FSM with a Given Type of Implementation Errors , 1992, PSTV.

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

[15]  Hasan Ural,et al.  Formal methods for test sequence generation , 1992, Comput. Commun..

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

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

[18]  Nina Yevtushenko,et al.  Testing strategies for communicating FSMs , 1995 .

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

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