Title :
Integration of time in canonical testers for real-time systems
Author :
Laurençot, P. ; Castanet, R.
Author_Institution :
CNRS, Bordeaux I Univ., Talence, France
Abstract :
Testing a real-time system is not an easy thing, because the notion of time is not under control. In this paper, we present different formal models of specification that introduce time. We use one of these, the extended-time input-output state machine, to develop an algorithm to create a canonical tester which is used afterwards for producing test sequences with time
Keywords :
finite state machines; formal specification; input-output programs; program testing; program verification; real-time systems; sequences; canonical testers; extended-time input-output state machine; formal specification models; real-time systems; test sequences; time integration; Application software; Computer applications; Control systems; Delay effects; Explosions; Humans; Protocols; Real time systems; Robustness; System testing;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems, 1997. Proceedings., Third International Workshop on
Conference_Location :
Newport Beach, CA
Print_ISBN :
0-8186-8046-6
DOI :
10.1109/WORDS.1997.609956
