DocumentCode
2593606
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
fYear
1997
fDate
5-7 Feb 1997
Firstpage
207
Lastpage
214
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WORDS.1997.609956
Filename
609956
Link To Document