Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle

Seol, Soonuk; Kim, Myungehul; Chanson, Samuel T.; Kang, Sungwon

doi:10.1109/jsac.2004.836015

Cited by 13 publications

(10 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Fourth, interoperability testing approaches of communication protocols has been conducted in [22,30,31]. These interoperability methods compose formal specifications all-at-once into one global model for system behavior, using reachability analysis, and then generate test cases for the model similar to conformance testing.…”

Section: Related Workmentioning

confidence: 99%

Architecture-based testing of service-oriented applications in distributed systems

Keum¹,

Kang²,

Kim³

2013

Information and Software Technology

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Architecture-based testing of service-oriented applications in distributed systems

Keum¹,

Kang²,

Kim³

2013

Information and Software Technology

View full text Add to dashboard Cite

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

Section: Related Workmentioning

confidence: 99%

“…[7] developed an automatic test generation method considering both control and data portion of protocols; ref. [8] extended the method in ref. [5] based on multiple stimuli principle to improve test coverage, but this method suffers from state space explosion problem; ref.…”

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 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

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

“…To ensure protocol products conform to international standards, protocol test techniques as the indispensable part of protocol design and implementation has been widely developed and applied. In the past, most of early research on protocol testing has mainly concentrated on conformance testing [1]- [3], which can be used to check whether an implementation conforms to its protocol specification [4] by ISO and ITU-T [5]. When two or more entities in separate communicating systems are integrated and need to interact with each other to perform a certain task in the case of communication protocols, the capability to do so is called interoperability.…”

Section: Introductionmentioning

confidence: 99%

A generic formal framework for protocol interoperability test and test cases minimization

Zhong

Kuang

2008

Proceedings of the 3rd International Workshop on Automation of Software Test

View full text Add to dashboard Cite

A generic formal framework for protocol interoperability test is proposed, which consider the common situation of protocol interoperability test by introducing the multi-stimuli principle in the multi-port FSM. A novel interoperability test sequences minimization scheme based on genetic algorithm (GA) is proposed to avoid the state space explosion problem, which easily occur in multi-stimuli systems during the interoperability test. Interoperability test sequences always contain two parts: interoperability part and local part. Conventional algorithms only remove redundancy from conformance test sequences and do not consider the redundant path relevant for interoperability part. During our work, the minimal-complete-coverage criterion and GA are applied to remove redundancy in both local transitions and interoperability transitions. Experiment results show that compare to conventional algorithm, our algorithm can avoid the state space explosion problem effectively and more practical for it can reduce the length of the test sequences and maintain the same transition coverage.

show abstract

Interoperability Test Generation and Minimization for Communication Protocols Based on the Multiple Stimuli Principle

Cited by 13 publications

References 16 publications

Architecture-based testing of service-oriented applications in distributed systems

Architecture-based testing of service-oriented applications in distributed systems

A formal method to real-time protocol interoperability testing

A generic formal framework for protocol interoperability test and test cases minimization

Contact Info

Product

Resources

About