Abstract
Throughout the years, many model description languages have been used in different model-based testing tools, however, all these languages are quite unfamiliar to test engineers. In this paper, we propose TTCN-3 (Testing and Test Control Notation 3), the nowadays most popular and widely spread test definition language to be used for this purpose and give two alternative approaches how this could be carried out. TTCN-3 as modelling language can support test generation tools by means of the annotations we introduce in the paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ETSI: ETSI ES 201 873-1 V4.2.1: Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core Language (2010)
Conformiq: Tool suite, http://www.conformiq.com/
Huima, A.: Implementing Conformiq Qtronic. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds.) TestCom/FATES 2007. LNCS, vol. 4581, pp. 1–12. Springer, Heidelberg (2007)
Elvior: TestCast Generator, http://www.elvior.ee/motes/
Microsoft: Specexplorer, http://research.microsoft.com/en-us/projects/SpecExplorer/
Group, O.M.: Unified modeling language, http://www.uml.org
Microsoft: Abstract state machine language, http://research.microsoft.com/en-us/projects/asml/
Microsoft: Spec#, http://research.microsoft.com/en-us/projects/specsharp/
du Bousquet, L., Zuanon, N.: An overview of lutess - a specification-based tool for testing synchronous software. In: Proc. 14th IEEE Intl. Conf. on Automated SW Engineering, pp. 208–215 (1999)
Raymond, P., Nicollin, X., Halbwachs, N., Weber, D.: Automatic testing of reactive systems. In: Proceedings of the IEEE Real-Time Systems Symposium, RTSS 1998, p. 200. IEEE Computer Society, Washington, DC (1998)
Marre, B., Arnould, A.: Test sequences generation from LUSTRE descriptions: GATEL. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, p. 229. IEEE Computer Society, Washington, DC (2000)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 1305–1320 (1991)
Lee, D., Yiannakakis, M.: Principles and methods of testing finite state machines – a survey. Proceedings of the IEEE 84(8), 1090–1123 (1996)
Clatin, M., Groz, R., Phalippou, M., Thummel, R.: Two approaches linking test generation with verification techniques. In: Proceedings of the 8th International Workshop on Protocol Test Systems, IWPTS 1996 (1996)
Koch, B., Grabowski, J., Hogrefe, D., Schmitt, M.: Autolink- A Tool for Automatic Test Generation from SDL Specifications. In: Proceedings of Workshop on Industrial Strength Formal Specication Techniques (WIFT 1998), Boca, October 21-23, pp. 21–23 (1998)
ITU-T: Recommendation Z.100: Specification and Description Language (2000)
9074, I.: Information processing systems – Open Systems Interconnection – Estelle: A formal description technique based on an extended state transition model (1989)
Alderden, R.: COOPER - The Compositional Construction of a Canonical Tester. In: Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, pp. 13–17. North-Holland Publishing Co., Amsterdam (1990)
ISO/IEC: ISO-880: LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behavior (1989)
van Eijk, P.H.J., Vissers, C.A., Diaz, M. (eds.): The Formal Description Technique LOTOS. Elsevier Science Publishers B.V., Amsterdam (1989)
Tretmans, J., Brinksma, E.: Côte de resyste: Automated model based testing. In: Schweizer, M. (ed.) 3rd PROGRESS Workshop on Embedded Systems, pp. 246–255. STW Technology Foundation, Utrecht (2002)
Holzmann, G.J.: Tutorial: Design and validation of protocols. Tutorial Computer Networks and ISDN Systems 25, 981–1017 (1991)
Magee, J., Kramer, J.: Concurrency: state models & Java programs. John Wiley & Sons, Inc., New York (1999)
Apt, K.: Principles of Constraint Programming. Cambridge University Press, New York (2003)
Tretmans, J.: Specification based testing with formal methods: A theory. In: Fantechi, A. (ed.) FORTE/PSTV 2000 Tutorial Notes, Pisa, Italy, October 10 (2000)
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach, 1st edn. Morgan Kaufmann, San Francisco (2007)
Pretschner, A., Philipps, J.: Methodological issues in model-based testing. In: Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.) Model-Based Testing of Reactive Systems. LNCS, vol. 3472, pp. 281–291. Springer, Heidelberg (2005)
Saloña, A.A., Vives, J.Q., Gómez, S.P.: An introduction to LOTOS (1993), http://www2.cs.uregina.ca/~sadaouis/CS872/lotos_language_tutorial.ps
ETSI: ETSI ES 201 873-10 V4.2.1: Methods for Testing and Specification (MTS), The Testing and Test Control Notation version 3, Part 10: TTCN-3 Documentation Comment Specification (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wu-Hen-Chang, A., Adamis, G., Erős, L., Kovács, G., Csöndes, T. (2011). A New Approach in Model-Based Testing: Designing Test Models in TTCN-3. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)