Abstract
Embedded systems are constrained and critical. They need to be validated before their development. They handle time constraints to model important aspects (delays, timeouts). This issue has to be taken into account in every step during its development life cycle, in particular in the testing step. This paper presents a methodology for the development of reliable embedded systems. A system is described as a timed automaton. It details an efficient derivation algorithm of test sequences able to identify controllable states on the system. Most of known errors of such systems are collected. They are automatically integrated on the derived sequences which are submitted to the implementation. If the system behaves correctly after this submission, the system is considered as robust.
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
Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)
Dssouli, R., En-Nouaary, A., Khendek, F.: Timed wpmethod: Testing real-time systems. IEEE Transactions on Software Engineering (TSE) 28(11), 1023–1038 (2002)
Castanet, R.: Les enjeux du test de robustesse. In: Journées du Réseau Thématique Prioritaire SECC (November 2002)
Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: Proceedings of the Third International Workshop on Object-Oriented Real-Time Dependable Systems, Newport Beach, California (February 1997)
Cardel-Oliver, R., Glover, T.: A practical and complete algorithm for testing real-time systems. In: Ravn, A.P., Rischel, H. (eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 251–261. Springer, Heidelberg (1998)
De Nicola, R., Hennessy, M.: Testing equivalences for processes. Theoretical Computer Science 34, 83–133 (1984)
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, Beinjin, China (October 2001)
Lynch, N.A., Vaandrager, F.W.: Forward and backward simulations for timing-based systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol. 600, pp. 397–446. Springer, Heidelberg (1992)
Nielsen, B., Skou, A.: Automated Test Generation from Timed Automata. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol. 2031, pp. 343–357. Springer, Heidelberg (2001)
Petitjean, E., Fouchal, H.: From Timed Automata to Testable Untimeed Automata. In: 24th IFAC/IFIP International Workshop on Real- Time Programming, Schloss Dagstuhl, Germany (1999)
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, December 1998, pp. 200–209. IEEE Computer Society Press, Los Alamitos (1998)
Springintveld, J., Vaandrager, F.W., D’Argenio, P.R.: Timed Testing Automata. Theoretical Computer Science 254(254), 225–257 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fouchal, H., Rollet, A. (2004). A Simple Testing Technique for Embedded Systems. In: Papatriantafilou, M., Hunel, P. (eds) Principles of Distributed Systems. OPODIS 2003. Lecture Notes in Computer Science, vol 3144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27860-3_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-27860-3_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22667-3
Online ISBN: 978-3-540-27860-3
eBook Packages: Springer Book Archive