Conformance testing of real-time component based systems
Pages 167 - 181
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.
References
[1]
A.V. Aho, A.T. Dahbura, D. Lee, and M.Ü. Uyar. 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.
[2]
R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183- 235, 1994.
[3]
A. Bertolino, F. Corradini, P. Inveradi, and H. Muccini. Deriving test plans from architectural descriptions. In ACM Proceedings, International Conference on Software Engineering ICSE2000, June 2000, June 2000.
[4]
Ed Brinksma, Geoff Coulson, and Ivica Crnkovic. Project ist-2001-34820 - artist- advanced real-time systems. roadmap: Component-based design and integration platforms. http://www.systemes-critiques.org/ARTIST/.
[5]
A. En-Nouaary, R. Dssouli, F. Khendek, and A. Elqortobi. Timed test cases generation based on state characterization technique. In 19th IEEE Real Time Systems Symposium (RTSS'98) Madrid, Spain, 1998.
[6]
Hacène Fouchal, Eric Petitjean, and Sébastien Salva. An User-Oriented Testing of Real Time Systems. In Proceedings of the International Workshop on Real-Time Embeded Systems RTES'01 (London), IEEE Computer Society, dec 2001.
[7]
S. Fujiwara, G. Bochmann, F. Khendek, M. Amalou, and A. Ghedamsi. Test selection based on finite-state models. IEEE Transactions on Software Engineering, 17(6):591-603, June 1991.
[8]
D. Garlan, R. Allen, and J. Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE software, 12(6):17-26, Novr 1995.
[9]
Teruo Hogashino, Akio Nakata, Kenichi Taniguchi, and Ana R. Cavalli. Generating Test Cases for a Timed I/O Automaton Model. In Proceedings of the 13th International Workshop on Test of Communicating Systems 2001 (Beinjin, China). North-Holland, October 2001.
[10]
A. Khoumsi. Testing distributed real-time reactive systems using a centralized test architecture. In North Atlantic Test Workshop (NATW), Gloucester, Massachusetts, USA, May 2001, May 2001.
[11]
A. Khoumsi. Testing distributed real-time systems in the presence of inaccurate clock synchronization. Journal of Information Soft. Technology (IST), 45, Dec 2003.
[12]
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.
[13]
Eric Petitjean and Hacène Fouchal. A Realistic Architecture for Timed Systems. In 5th IEEE International Conference on Engineering of Complex Computer Systems, Las Vegas, USA, pages 109-118, 1999.
[14]
S. Philippi. Analysis of fault tolerance and reliability in distributed real-time system architectures. Reliability Engineering and System Safety, 82(2), Nov 2003.
[15]
P. Raymond, X. Nicollin, N. Halbwatchs, and D. Waber. Automatic testing of reactive systems, madrid, spain. In Proceedings of the 1998 IEEE Real-Time Systems Symposium, RTSS'98, pages 200-209. IEEE Computer Society Press, December 1998.
[16]
Sébastien Salva, Eric Petitjean, and Hacène Fouchal. A simple approach to testing timed systems. In Workshop on Formal Approaches to Testing of Software, FATES'01 (Aalborg, Danmark), August 25, 2001 (Workshop of CONCUR'01), pages 93-107, aug 2001.
[17]
H. Schmidt. Trustworthy components-compositionality and prediction. The Journal of Systems and Software, 65:215-225, 2003.
[18]
J. Springintveld, F.W. Vaandrager, and P. R. D'Argenio. Timed Testing Automata. Theoretical Computer Science, 254(254):225-257, 2001.
[19]
C. Szyperski. Component Software: Beyond Object Oriented Programming. Addison Wesley, Harlow, England, 1998.
[20]
A. Tesanovic, D. Nystrom, J. Hansson, and C. Norstrom. Towards aspectual componentbased development of real-time systems. In Proceeding of the 9th International Conference on Real-Time and Embedded Computing Systems and Applications (RTCSA 2003), February 2003, February 2003.
[21]
J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools, 17:103-120, 1996.
[22]
J. Zalewski. Developing component-based software for real-time systems. In 27th Euromicro Conference 2001: A Net Odyssey (euromicro'01), September 2001.
[23]
Peter Zimmerer. Test architectures for testing distributed systems. In 12th International software quality week (QW'99), May 1999.
Index Terms
- Conformance testing of real-time component based systems
Index terms have been assigned to the content through auto-classification.
Recommendations
A new method for testing real time systems
RTCSA '00: Proceedings of the Seventh International Conference on Real-Time Systems and ApplicationsIn this article, we present a framework for testing real-time systems. More precisely, (1) we propose a method for generating test sequences, (2) we determine constraints which guarantee the executability of test sequences, and (3) we propose a ...
Conformance testing for real-time systems
We propose a new framework for black-box conformance testing of real-time systems. The framework is based on the model of partially-observable, non-deterministic timed automata. We argue that partial observability and non-determinism are essential ...
Robustness testing of composed real-time systems
Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009In this paper, we suggest a methodology for testing robustness of Real-Time Component-Based Systems (RTCBS). A RTCBS system is described as a collection of components where each component is modeled as a Timed Input-Output Automaton (TIOA). For each ...
Comments
Information & Contributors
Information
Published In
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 24 January 2005
Author Tags
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 27 Jul 2024