FSM Based Interoperability Testing Methods for Multi Stimuli Model

Abstract

Abstract. In this paper, we propose two fault models and methods for the derivation of interoperability test suites when the system implementation is given in the form of two deterministic communicating finite state machines. A test suite returned by the first method enables us to determine if the implementation is free of livelocks. If the implementation is free of livelocks, the second method returns a test suite that checks if the implementation conforms to the specification. Application examples are used to illustrate the methods.

Formalizing interoperability for test case generation purpose

“…This is not the case for interoperability testing. However, some attempts to give definitions of interoperability or methods to derive interoperability tests exists in [1,2,3]. In this paper, we give formal definitions of interoperability with interoperability criteria (iop criteria for short in the following) that give conditions to be verified by implementations to be considered interoperable.…”

A formal method to real-time protocol interoperability testing

“…The basic idea of test generation method based on FSM is to model each protocol entity as an FSM and the interoperability system under test as a CFSM (communicating FSMs), and then generate test sequences using global state reachability analysis techniques [4] . Based on this idea, a series of test generation techniques have been proposed [5][6][7][8][9][10] : ref. [5] presented a systematic test suite derivation method for protocol control portion interoperability testing based on single stimulus principle; ref.…”

“…A lot of work has been done in the area of formal interoperability testing [2][3][4][5][6][7][8][9][10][11][12][13][14] , and a series of interoperability testing framework and test generation method have been proposed. In most of real-life network protocols, not only the behaviors of input and output, but also their time of occurrence should be considered.…”

A New Method for Interoperability Test Generation

“…Considering the number of possible behaviors contained in the specification interaction, this "manual" test derivation is an error-prone task. Methods for automatic interoperability test generation (as in [7,8,14,15,16]) also consider algorithms that search paths corresponding to the test purpose in the composition of the specifications (sometimes called reachability graph). The study described in [6,13] considers an interoperability formal definition that compares events executed by the system composed of the two implementations with events foreseen in the specifications.…”

“…Contrary to conformance testing which is precisely characterized with testing architectures, formal definitions [1,2] and tools for generating automatically tests [3,4], interoperability is not formally defined. Some formal definitions [5,6] and methods for generating interoperability tests [7,8] exist, but there is no precise characterization of interoperability for the moment, and consequently no method based on formal definitions. In this paper, we consider interoperability formal definitions of [9].…”