Towards a Formal Framework for Interoperability Testing

Viho, César; Barbin, S. E.; Tanguy, Lénaick

doi:10.1007/0-306-47003-9_4

Cited by 20 publications

(19 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another category of test generation methods is based on IOTS [12][13][14] , basically following the ideas of ref. [3]. Ref.…”

Section: Related Workmentioning

confidence: 97%

“…[2] proposed a TTCN2-based framework for interoperability testing; ref. [3] presented a formal framework based on IOTS model and defined several test architectures and interoperability relations to guide test generation.…”

Section: Related Workmentioning

confidence: 99%

“…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.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

A formal method to real-time protocol interoperability testing

Wang

Yin

Jing

2008

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

Interoperability testing is an important technique to ensure the quality of implementations of network communication protocol. In the next generation Internet protocol, real-time applications should be supported effectively. However, time constraints were not considered in the related studies of protocol interoperability testing, so existing interoperability testing methods are difficult to be applied in real-time protocol interoperability testing. In this paper, a formal method to realtime protocol interoperability testing is proposed. Firstly, a formal model CMpTIOA (communicating multi-port timed input output automata) is defined to specify the system under test (SUT) in real-time protocol interoperability testing; based on this model, timed interoperability relation is then defined. In order to check this relation, a test generation method is presented to generate a parameterized test behavior tree from SUT model; a mechanism of executability pre-determination is also integrated in the test generation method to alleviate state space explosion problem to some extent. The proposed theory and method are then applied in interoperability testing of IPv6 neighbor discovery protocol to show the feasibility of this method.

show abstract

“…Another category of test generation methods is based on IOTS [12][13][14] , basically following the ideas of ref. [3]. Ref.…”

Section: Related Workmentioning

confidence: 97%

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A formal method to real-time protocol interoperability testing

Wang

Yin

Jing

2008

Sci. China Ser. F-Inf. Sci.

View full text Add to dashboard Cite

show abstract

“…In the area of interoperability testing, [Hao97] proposed a TTCN-2 based framework for interoperability testing, [VBT01] presented a formal framework for interoperability testing and several interoperability relations were defined to guide test generation. Interoperability test generation is an important issue in this field.…”

Section: Introductionmentioning

confidence: 99%

Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

Wang

Yin

et al. 2006

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract.Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are constructed from specifications of system under test and then transformed to TIMEDTTCN-3 test cases. We also investigate real-time TTCN and analyze the insufficiency of its capabilities in specifying time constraints. Possible extensions for real-time TTCN are given to specify real-time interoperability test cases. From the comparisons between the two real-time test notations, it can be concluded that TIMEDTTCN-3 is more powerful and flexible than real-time TTCN and can be suitable for real-time interoperability testing.

show abstract

“…The objective of interoperability testing is to assure that two or more protocol implementations can interact and if so whether they behave together as expected [KSK00,VBT01]. As usual, to guarantee the fault coverage we need a formal model of protocol specifications and implementations as well as a formal model of possible faults.…”

Section: Introductionmentioning

confidence: 99%

FSM Based Interoperability Testing Methods for Multi Stimuli Model

El-Fakih

Trenkaev

Spitsyna

et al. 2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Towards a Formal Framework for Interoperability Testing

Cited by 20 publications

References 5 publications

A formal method to real-time protocol interoperability testing

A formal method to real-time protocol interoperability testing

Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

FSM Based Interoperability Testing Methods for Multi Stimuli Model

Contact Info

Product

Resources

About