Abstract
This paper presents a method for automatic executable test case and test sequence generation which combines both control and data flow testing techniques. Compared to published methods, we use an early executability verification mechanism to reduce significantly the number of discarded paths. A heuristic which uses cycle analysis is used to handle the executability problem. This heuristic can be applied even in the presence of unbounded loops in the specification. Later, the generated paths are completed by postambles and their executability is re-verified. The final executable paths are evaluated symbolically and used for conformance testing purposes.
Chapter PDF
Similar content being viewed by others
Keywords
References
Bochmann, G. v. Das, A. Dssouli, R. Dubuc, M. Ghedamsi, A. and Luo, G. (1991) Fault models and their use in Testing. Proc. IFIP Intern. Workshop on Protocol Test Systems (invited paper), pp. (II-17)-(II-32).
Chanson, S. T. and Zhu, J.(1993) A Unified Approach to Protocol Test Sequence Generation. In Proc. IEEE INFOCOM.
Huang, C.M. Lin, Y.C. and Jang, M.Y. (1995) An Executable Protocol Test Sequence Generation Method for EFSM-Specified Protocols. International Workshop on Protocol Test Systems (IWPTS), Evry, 4–6 September.
Ramalingom, T. Das, A. and Thulasiraman, K. (1995). A Unified Test Case Generation Method for the EFSM Model Using Context Independent Unique Sequences. International Workshop on Protocol Test Systems (IWPTS), Evry, 4–6 September.
Sarikaya, B. and Bochmann, G.v. (1986) Obtaining Normal Form Specifications for Protocols. In Computer Network Usage: Recent Experiences, Elsevier Science Publishers.
Ural, H. and Yang. B. (1991) A Test Sequence Selection Method for Protocol Testing. IEEE Transactions on Communication, Vol 39, No4, April.
Weyuker, E.J. and Rapps, S. (1985) Selecting Software Test Data using Data Flow Information. IEEE Transactions on Software Engineering, April.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N. (1997). Automatic executable test case generation for extended finite state machine protocols. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_6
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_6
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive