Abstract
When testing communicating systems, nondeterminism makes it a more difficult and evasive process. Adaptive testing is an efficient approach to testing nondeterministic systems. In this paper, we develop an interoperability test generation method for adaptive testing. Also we define a measure of testing cost and compare our method with the conventional approach.
Chapter PDF
Similar content being viewed by others
References
Arakawa, N. and Soneoka, T., “A Test Case Generation Method for Concurrent Programs”, Protocol Test Systems, IV, J. Kroon, R. J. Heijink and E. Brinksma (Eds.), Elsevier Science Publishers B. V. ( North-Holland ), 1992.
Bonnes, G., “IBM OSI Interoperability Verification Services”, The 3rd IWPTS, 1990. [Castanet 94] Castanet, R. and Kone, O., “Deriving Coordinated Testers for Interoperability ”, Protocol Test Systems, VJ(C-19), O. Rafig(Ed.), Elsevier Science B. V. ( North-Holland ), IFIP, 1994.
Chan, W. Y. L., Vuong, S. T. and Ito, M. R., “An Improved Protocol Test Generation Procedure Based on UIOs”, SIGCOMM ‘89 Symposium: Communication Architecture and Protocols in Computer Comm. Review 19(4),, pp. 283–294, September 1989.
Chow, T. S. S., “Testing Software Design Modeled by Finite-State Machines”. IEEE Trans. on SE., Vol. SE-4, No. 3, May 1978.
Kajiwara, M., Ichikawa, H., Itoh, M. and Yoshida, Y., “Specification and Verification of Switching Software”, IEEE Transactions on Communications, Vol. Com-33, No. 3, March 1985. [Kim 94] Kim, B. and Chun, W., “Generating Test Cases for Nondeterministic FSMs Using UIOTrees and PUIOtrees”, Technical Report, Comp. Eng., Chungnam National University, 1994.
Luo, G., Bochmann G. and Petrenko, A., “Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method”, IEEE Transactions on S.E.. Vol 20, No. 2, February 1994.
Milner, R., “A Calculus of Communicating Systems,” LNCS, Vol. 92, 1980.
Phalippou, M., “The Limited Power of Testing”, Proceedings of the 4th International Workshop on Protocol Test Systems, The Hague, October 1991.
Sabnani, K. and Dahbura, A., “A Protocol Test Generation Procedure”, Computer Networks and ISDN Systems, Vol. 15, pp. 285–297, 1988.
Sidhu, D. P. and Leung, T. K., “Formal Methods for Protocol Testing: A Detailed Study”, IEEE Trans. on S.E., Vol. 15, No. 4, April 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Kang, S., Kim, M. (1996). Test sequence generation for adaptive interoperability testing. In: Cavalli, A., Budkowski, S. (eds) Protocol Test Systems VIII. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34988-6_12
Download citation
DOI: https://doi.org/10.1007/978-0-387-34988-6_12
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6312-6
Online ISBN: 978-0-387-34988-6
eBook Packages: Springer Book Archive