Abstract
TTCN-3 is a standardized language for specifying and executing test suites that is particularly popular for testing embedded systems. Prior to testing embedded software in a target environment, the software is usually tested in the host environment. Executing in the host environment often affects the real-time behavior of the software and, consequently, the results of real-time testing.
Here we provide a semantics for host-based testing with simulated time and a a simulated-time solution for distributed testing with TTCN-3.
This work is done within the project “TTMedal. Test and Testing Methodologies for Advanced Languages (TT-Medal) sponsored by Information Technology for European Advancement Programm (ITEA)” [15].
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Arnold, K., Gosling, J., Holmes, D.: Java(TM) Programming Language. Java Series. Addison-Wesley, Reading (2005)
Sidorova, N., et al.: Simulated Time for Testing Railway Interlockings with TTCN-3. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 1–15. Springer, Heidelberg (2006)
Dijkstra, E.W.: Shmuel Safra’s version of termination detection. EWD998-0, Univ. Texas, Austin (1987)
ETSI ES 201 873-1 V3.1.1 (2005-06). Methods for Testing and Specification (MTS); The Testing and Test Control Notation version 3; Part 1: TTCN-3 Core Language.
ETSI ES 201 873-4 V3.1.1 (2005-06). MTS; TTCN-3; Part 4: TTCN-3 Operational Semantics.
ETSI ES 201 873-5 V1.1.1 (2005-06). MTS; TTCN-3; Part 5: TTCN-3 Runtime Interface (TRI)
ETSI ES 201 873-6 V1.1.1 (2005-06). MTS; TTCN-3; Part 6: TTCN-3 Control Interface (TCI)
Grabowski, J., et al.: An Introduction into the Testing and Test Control Notation (TTCN-3). Computer Networks 42(3), 375–403 (2003)
Hendrata, S.: Standardisiertes Testen mit TTCN-3: Erhöhung der Zuverlässigkeit von Software-Systemen im Fahrzeug. Hanser Automotive: Electronics+Systems (9-10), 64–65 (2004)
Holma, H., Toskala, A.: WCDMA for UMTS- Radio Access for Third Generation Mobile Communications. John Wiley and Sons, Chichester (2004)
Kaaranen, H., et al.: UMTS Networks: Architecture, Mobility and Services. John Wiley and Sons, Chichester (2005)
Marscheck, U.: Elektronische Stellwerke-internationale Überblick. SIGNAL+DRAHT, 89 (1997)
Nicollin, X., Sifakis, J.: An overview and synthesis on timed process algebras. In: Huizing, C., et al. (eds.) REX 1991. LNCS, vol. 600, pp. 526–548. Springer, Heidelberg (1992)
Schieferdecker, I., Vassiliou-Gioles, T.: Realizing Distributed TTCN-3 Test Systems with TCI. In: Hogrefe, D., Wiles, A. (eds.) TestCom 2003. LNCS, vol. 2644, pp. 95–109. Springer, Heidelberg (2003)
TTMedal. Testing and Testing Methodologies for Advanced Languages, http://www.tt-medal.org
van Dijk, F.J., et al.: Euris, a specification method for distributed interlockings. In: Ehrenberger, W. (ed.) SAFECOMP 1998. LNCS, vol. 1516, pp. 296–305. Springer, Heidelberg (1998)
Willcock, C., et al.: An Introduction to TTCN-3. Wiley, Chichester (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blom, S. et al. (2007). TTCN-3 for Distributed Testing Embedded Software. In: Virbitskaite, I., Voronkov, A. (eds) Perspectives of Systems Informatics. PSI 2006. Lecture Notes in Computer Science, vol 4378. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70881-0_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-70881-0_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70880-3
Online ISBN: 978-3-540-70881-0
eBook Packages: Computer ScienceComputer Science (R0)