Abstract
In this study we present a technique for testing robustness of Real-time systems described as Component-Based System having timing constraints. Each component is modeled as a Timed Input-Output Automaton (TIOA). For robustness issue, we handle two specifications : a nominal one (the more detailed specification) and a degraded one (considering only vitale functionnalities). We derive test sequences from the nominal specification of each component. We proceed to a mutation technique on these sequences in order to simulate hostile environments. Then we present a detailled algorithm for the application of test sequences on the Implementation of the system. This is done by means of an adequate test architecture consisting of the Implementation Under Test (IUT) of components, and a distributed tester that consists of a set of coordinating testers. Each tester is dedicated to test a single component.
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
Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE software (1995)
Khoumsi, A.: Timing issues in testing distributed systems. In: 4th IASTED International Conference on Software Engineering and Applications, SEA 2000 (November 2000)
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)
Zimmerer, P.: Test architectures for testing distributed systems. In: 12th International software quality week (QW 1999) (May 1999)
Schmidt, H.: Trustworthy components-compositionality and prediction. The Journal of Systems and Software 65, 215–225 (2003)
Zalewski, J.: Developing component-based software for real-time systems. In: 27th Euromicro Conference 2001: A Net Odyssey (euromicro 2001) (September 2001)
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 (2004)
Barton, J.H., Czeck, E.W., Segall, Z.Z., Siewiorek, D.P.: Fault injection experiments using fiat. IEEE Trans. Comput. 39, 575–582 (1990)
Tsai, T.K., Iyer, R.K., Jewitt, D.: An approach towards benchmarking of fault-tolerant commercial systems. In: Symposium on Fault-Tolerant Computing, pp. 314–323 (1996)
Kropp Jr., N.P., Koopman, P.J., Siewiorek, D.P.: Automated robustness testing of off-the-shelf software components. In: Symposium on Fault-Tolerant Computing, pp. 230–239 (1998)
Castanet, R.: Les enjeux du test de robustesse. In: Journées du Réseau Thématique Prioritaire SECC (2002)
Brinksma, E., Coulson, G., Crnkovic, I.: Project ist-2001-34820 - artist- advanced real-time systems. roadmap: Component-based design and integration platforms, http://www.systemes-critiques.org/ARTIST/
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Fouchal, H., Rollet, A.: Embedded system testing. In: Papatriantafilou, M., Hunel, P. (eds.) OPODIS 2003. LNCS, vol. 3144, pp. 159–170. Springer, Heidelberg (2004)
Rollet, A.: Testing robustness of real-time embedded systems. In: Proceedings of Workshop on Testing Real-Time and Embedded Systems (WTRTES), Satellite Workshop of FM 2003 Symposium, Pisa, Italy, September 13 (2003)
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, London. IEEE Computer Society, Los Alamitos (2001)
Khoumsi, A.: Testing distributed real-time systems in the presence of inaccurate clock synchronization. Journal of Information Soft. Technology (IST) 45 (2003)
Tarhini, A., Rollet, A., Fouchal, H.: A pragmatic approach for robustness testing on real time component based systems. In: The 3rd ACS/IEEE International Conference on Computer Systems and Application (AICSSA 2005), Cairo, Egypt, January 2-5 (2004) (accepted)
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
Fouchal, H., Rollet, A., Tarhini, A. (2005). Robustness of Composed Timed Systems. In: Vojtáš, P., Bieliková, M., Charron-Bost, B., Sýkora, O. (eds) SOFSEM 2005: Theory and Practice of Computer Science. SOFSEM 2005. Lecture Notes in Computer Science, vol 3381. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30577-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-540-30577-4_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24302-1
Online ISBN: 978-3-540-30577-4
eBook Packages: Computer ScienceComputer Science (R0)