DocumentCode :
2416996
Title :
Automated test generation from object-oriented specifications of real-time reactive systems
Author :
Alagar, V.S. ; Chen, M. ; Ormandjieva, O. ; Zheng, M.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
fYear :
2003
fDate :
10-12 Dec. 2003
Firstpage :
406
Lastpage :
414
Abstract :
Real-time reactive systems are often safety-critical and hence must be thoroughly analyzed before they are deployed. We discuss methods for generating tests from object-oriented specifications of real-time reactive systems. Formal descriptions contain information on system entities, as mandated by requirements, as well as environmental entities, included in a domain model. These are exploited in the testing of an implementation, either for generating and sequencing tests, or as an oracle in evaluating test results. A tool has been developed based on the techniques and is being applied to several case studies developed in TROMLAB, a framework for a rigorous development of real-time reactive systems. The train-gate-controller (TGC) case study presented is one of them.
Keywords :
control engineering computing; formal specification; formal verification; object-oriented methods; program testing; railways; real-time systems; software tools; TROMLAB; automated test generation; domain model; formal descriptions; object-oriented specifications; real-time reactive systems; train-gate-controller; Automatic testing; Computer science; Councils; Formal specifications; Formal verification; Object oriented modeling; Real time systems; Runtime environment; Software testing; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Conference, 2003. Tenth Asia-Pacific
Print_ISBN :
0-7695-2011-1
Type :
conf
DOI :
10.1109/APSEC.2003.1254396
Filename :
1254396
Link To Document :
بازگشت