By Topic

Automated test generation from object-oriented specifications of real-time reactive systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
V. S. Alagar ; Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada ; M. Chen ; O. Ormandjieva ; M. Zheng

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.

Published in:

Software Engineering Conference, 2003. Tenth Asia-Pacific

Date of Conference:

10-12 Dec. 2003