A Simple Testing Technique for Embedded Systems
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.
KeywordsTest Sequence Robustness Testing Input Action Generate Test Case Outgoing Transition
Unable to display preview. Download preview PDF.
- [Cas02]Castanet, R.: Les enjeux du test de robustesse. In: Journées du Réseau Thématique Prioritaire SECC (November 2002)Google Scholar
- [CL97]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)Google Scholar
- [HNTC01]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)Google Scholar
- [PF99]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)Google Scholar
- [RNHW98]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)Google Scholar