Abstract
A method for generating test sequences for interoperability testing of communication systems is proposed. In the proposed method, the system state graph, which shows behaviours of the whole system, is generated from protocol specifications, and test sequences that confirm each transition and the state based on this graph are generated. The method is characterized in that the states of individual processes are confirmed, considering independency of the two processes, which is a characteristic of the interoperability testing. An application for a simple protocol with a retransmission mechanism shows that we can improve testing reliability in interoperability testing. Using this method is expected to decrease cost for generating test sequences.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ISO: “OSI conformance testing methodology and framework”, ISO 9646 (1989).
S. Naito and M. Tsunoyama: “Fault detection for sequential machines by transition tours”, in Proc. IEEE Fault Tolerant Comput. Con f. (1981).
T. Chow: “Testing software design modeled by finite-state machines”, IEEE Trans. Software Eng., SE-4, pp. 178–187 (1978).
G. Gonenc: “A method for the design of fault detection experiment”, IEEE Trans. Comput., C-19, pp. 551–558 (1970).
K. Sabnami and A. Dahbura: “A protocol test generation procedure”, Computer Networks ISDN System, 15, pp. 285–297 (1988).
D. Sidhu and T. Leung: “Formal method for protocol testing: a detailed study”, IEEE Trans. Software Eng., SE-15, 4, pp. 413–426 (1989).
H. Motteler, A. Chung and D. Sidhu: “Fault Coverage of UIO-based Method for Protocol Testing”, Protocol Test Systems, VI, North-Holland, pp. 21–33 (1994)
C. H. West: “General technique for communications protocol validation”, IBM J. Res. and Devel., 22, 4, pp. 394–404 (1978).
D. Hogrefe: “Conformance testing based on formal methods”, Proc. FORTE ‘80, pp. 213–245 (1990).
Rafiq and R. Castanet: “From conformance testing to interoperability testing”, Proc. the 3rd International Workshop on Protocol Test Systems, pp. 371385 (1990).
N. Arakawa and T. Soneoka: “A Test case generation method for concurrent programs”, Proc. the 4th International Workshop on Protocol Test Systems, pp. 95–106 (1991).
N. Okazaki, K. Takahashi, N. Shiratori and S. Noguchi: “Generation Method of Efficient Test Sequences from LOTOS Specifications”, Trans. IEICE Japan, J74-B- I, 10, pp. 733–747 (1991).
M. Park, N. Okazaki, M. Ohta, K. Takahashi, N. Shiratori and S. Noguchi: “Test Sequence Generation Method for Interoperability Testing Exploiting the Independency of Processes”, Trans. IEICE Japan, J76-B- I, 3, pp. 264–274 (1993).
N. Okazaki, M. Park, M. Ohta and K. Takahashi: “Test Sequence Generation for Multiprocess Communication Systems”, Proc. the Asia-Pacific Conference on Communications, pp. 210–214 (1993).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Okazaki, N., Park, M.R., Takahashi, K., Shiratori, N. (1995). A New Test Sequence Generation Method for Interoperability Testing. In: Mizuno, T., Higashino, T., Shiratori, N. (eds) Protocol Test Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34883-4_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-34883-4_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6310-2
Online ISBN: 978-0-387-34883-4
eBook Packages: Springer Book Archive