An Efficient Interoperability Test methodology Based on Kerarchically Organized State Space


The Transactions of the Korea Information Processing Society (1994 ~ 2000), Vol. 5, No. 8, pp. 2091-2101, Aug. 1998
10.3745/KIPSTE.1998.5.8.2091,   PDF Download:

Abstract

Interoperability(IOP) is one of the major goal of Information Technology and Telecommunication fields. In this paper, we discuss developing an interoperability testing(IOPT) method. As is easily guessed from conformance testing and formal verification, state space explosion problem is the most serious problem we encounter in deriving interoperability test method and its test suite. A new state space reduction method to support interoperability testing is suggested based on Petri nets. The proposed test method can be applied to 1 to many communication protocols as well as 1 to 1 communication protocols efficiently.


Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
C. Y. Han, C. B. Moon, L. D. IK, J. S. II, "An Efficient Interoperability Test methodology Based on Kerarchically Organized State Space," The Transactions of the Korea Information Processing Society (1994 ~ 2000), vol. 5, no. 8, pp. 2091-2101, 1998. DOI: 10.3745/KIPSTE.1998.5.8.2091.

[ACM Style]
Choe Young Han, Chin Byoung Moon, Lee Dong IK, and Jin Seong II. 1998. An Efficient Interoperability Test methodology Based on Kerarchically Organized State Space. The Transactions of the Korea Information Processing Society (1994 ~ 2000), 5, 8, (1998), 2091-2101. DOI: 10.3745/KIPSTE.1998.5.8.2091.