Abstract
In this paper, we suggest a methodology for testing Real Time Component Based Systems (RTCBS). A RTCBS is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). The first part of this study is devoted to the generation of timed-test sequences. Our algorithm for test sequence derivation extracts executable timed test sequences from a synchronous product between a timed test purpose (a property required on the system) and the corresponding component(s) specification.
The second part presents an adequate test architecture consisting of the System Under Test (SUT) components, and a distributed tester that consists of a set of coordinating testers. Each tester is dedicated to test a single SUT component. A test execution algorithm is presented. Testing the SUT is divided into two phases. In the first phase, each of the testers tests its corresponding component in isolation. In the second phase, each tester executes only its corresponding communication timed test sequences to test the interaction between components integrated in a RTCBS, taking into consideration the synchronization of events between testers themselves.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aho, A.V., Dahbura, A.T., Lee, D., Uyar, M.Ü.: An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman Tours. IEEE Transactions on Communications 39(11), 1604–1615 (1991)
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Bertolino, A., Corradini, F., Inveradi, P., Muccini, H.: Deriving test plans from architectural descriptions. In: ACM Proceedings, International Conference on Software Engineering ICSE 2000 (June 2000)
Brinksma, E., Coulson, G., Crnkovic, I.: Project ist-2001-34820 - artist- advanced real-time systems. roadmap: Component-based design and integration platforms (2001), http://www.systemes-critiques.org/ARTIST/
En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.: Timed test cases generation based on state characterization technique. In: 19th IEEE Real Time Systems Symposium (RTSS 1998), Madrid, Spain (1998)
Fouchal, H., Petitjean, E., Salva, S.: An User-Oriented Testing of Real Time Systems. In: Proceedings of the International Workshop on Real-Time Embeded Systems RTES 2001, IEEE Computer Society, Los Alamitos (December 2001)
Fujiwara, S., Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.: Test selection based on finite-state models. IEEE Transactions on Software Engineering 17(6), 591–603 (1991)
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE software 12(6), 17–26 (1995)
Hogashino, T., Nakata, A., Taniguchi, K., Cavalli, A.R.: Generating Test Cases for a Timed I/O Automaton Model. In: Proceedings of the 13th International Workshop on Test of Communicating Systems 2001, North-Holland, Amsterdam (October 2001)
Khoumsi. Testing distributed real-time reactive systems using a centralized test architecture. In: North Atlantic Test Workshop (NATW), Gloucester, Massachusetts, USA (May 2001)
Khoumsi, A.: Testing distributed real-time systems in the presence of inaccurate clock synchronization. Journal of Information Soft. Technology (IST) 45 (December 2003)
E. Petitjean and H. Fouchal. From Timed Automata to Testable Untimeed Automata. In 24th IFAC/IFIP International Workshop on Real-Time Programming, Schloss Dagstuhl, Germany, 1999.
Petitjean, E., Fouchal, H.: A Realistic Architecture for Timed Systems. In: 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, pp. 109–118 (1999)
Philippi, S.: Analysis of fault tolerance and reliability in distributed real-time system architectures. Reliability Engineering and System Safety 82(2) (2003)
Raymond, P., Nicollin, X., Halbwatchs, N., Waber, D.: Automatic testing of reactive systems, madrid, spain. In: Proceedings of the 1998 IEEE Real-Time Systems Symposium, RTSS 1998, pp. 200–209. IEEE Computer Society Press, Los Alamitos (December 1998)
Salva, S., Petitjean, E., Fouchal, H.: A simple approach to testing timed systems. In: Workshop on Formal Approaches to Testing of Software, FATES 2001 (Workshop of CONCUR 2001) ( August 25, 2001)
Schmidt, H.: Trustworthy components-compositionality and prediction. The Journal of Systems and Software 65, 215–225 (2003)
Springintveld, J., Vaandrager, F.W., D’Argenio, P.R.: Timed Testing Automata. Theoretical Computer Science 254(254), 225–257 (2001)
Szyperski, C.: Component Software: Beyond Object Oriented Programming. Addison Wesley, England (1998)
Tesanovic, A., Nystrom, D., Hansson, J., Norstrom, C.: Towards aspectual component based development of real-time systems. In: Chen, J., Hong, S. (eds.) RTCSA 2003. LNCS, vol. 2968, pp. 558–577. Springer, Heidelberg (2003)
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17, 103–120 (1996)
Zalewski, J.: Developing component-based software for real-time systems. In: 27th Euromicro Conference 2001: A Net Odyssey, euromicro 2001 (September 2001)
Zimmerer, P.: Test architectures for testing distributed systems. In: 12th International software quality week, QW 1999 (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tarhini, A., Fouchal, H. (2005). Conformance Testing of Real-Time Component Based Systems. In: Ramos, F.F., Larios Rosillo, V., Unger, H. (eds) Advanced Distributed Systems. ISSADS 2005. Lecture Notes in Computer Science, vol 3563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11533962_15
Download citation
DOI: https://doi.org/10.1007/11533962_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28063-7
Online ISBN: 978-3-540-31674-9
eBook Packages: Computer ScienceComputer Science (R0)