Abstract
Many tools for test generation already exist and are used in industry; others are under development or improvement to allow faster generation and more effective tests. Comparing testing tools permits to acquire in-depth knowledge of the characteristics of each tool and to discover its strong points and limitations. Thus, the analysis of different automatic test generation tools provides a precise idea on the appropriate tool to be used to attain the expected results. This paper describes the application of two test generation tools to an industrial case study: a reverse directory telephone service similar to deployed services of this category developed by France Telecom. The tools used, for the automatic test generation, are a commercial tool TestComposer and SIRIUS, a tool developed by INT team. France Telecom R&D division provided the test campaign designed manually by a France Telecom service expert used to define the test objectives. The goal of this paper is to present the experimental results of tools application, to compare their performances and analyze some issues related to test execution.
Chapter PDF
Similar content being viewed by others
Keywords
References
ITU-T Rec. Z. 120 Message Sequence Charts, (MSC). Geneva (1996)
ISO/IEC 9646-1. Information Technology - Open Systems Interconnection - Conformance testing methodology and framework Part 1: General Concepts
Anido, R., et al.: Engendrer des tests pour un vrai protocole grâce à des techniques éprouvées de vérifications. In: ENSIAS (ed.) Proceeding of CFIP96/Cinquième Colloque Francophone sur l Ingénierie des Protocoles, Rabat, Maroc, October 1996, pp. 499–513 (1996)
Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.U.: An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. IEEE transactions on Communications 39(3), 1604–1615
Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for EFSM specified protocols. In: Chapman & Hall (ed.) IWTCS 1997, pp. 75–90 (1997)
Cavalli, A., Hogrefe, D.: Testing and validation of SDL systems : Tutorial. In: SDL 1995 forum (1995)
Cavalli, A., Lee, D., Rinderknecht, C., Zaïdi, F.: Hit-or-Jump: An Algorithm for Embedded Testing with Applications to IN Services. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Formal Methods for Protocol Engineering And Distributed Systems, Beijing, China, October 1999, pp. 41–56 (1999)
Clatin, M., Groz, R., Phalippou, M., Thummel, R.: Two approaches linking test generation with verification techniques. In: Cavalli, A., Budkowski, S. (eds.) Protocol Test Systems VII, Chapman & Hall, Boca Raton (1996)
Fernandez, J.-C., Garavel, H., Kerbat, A., Mounier, L., Mateescu, R., Sighireanu, M.: Cadp: A Protocol Validation and Verification Toolbox. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol. 1102, Springer, Heidelberg (1996)
Rethy, G., Schieferdecker, I., Wiles, A., Grabowski, J., Hogrefe, D., Willcock, C.: An introduction to the testing and test control notation (ttcn-3). Computer Networks 42(3), 375–403 (2003)
Kerbrat, A., Jeron, T., Groz, R.: Automated test generation from SDL specifications. In: Dssouli, R., Bochman, G.V., Lahav, Y. (eds.) SDL 1999. Elsiever Science, Amsterdam (1999)
Tretmans, J., Belinfante, A.: Automatic testing with formal methods. In: Proceedings of the 7th European International Conference on Software Testing, EuroSTAR 1999 (November 1999)
ETSI. TTCN-3. TTCN-3 – Core Language
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 IFIP International Federation for Information Processing
About this paper
Cite this paper
Cavalli, A., Maag, S., Mallouli, W., Marche, M., Quemener, YM. (2006). Application of Two Test Generation Tools to an Industrial Case Study. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds) Testing of Communicating Systems. TestCom 2006. Lecture Notes in Computer Science, vol 3964. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11754008_9
Download citation
DOI: https://doi.org/10.1007/11754008_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34184-0
Online ISBN: 978-3-540-34185-7
eBook Packages: Computer ScienceComputer Science (R0)