Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems

Authors:
V. S. Alagar;M. Chen;O. Ormandjieva;M. Zheng
Affiliations:
-;-;-;-
Venue:
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
Year:
2003

Citing 0
Cited 2

A software architecture for multi-agent systems

CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Automatic transition of natural language software requirements specification into formal presentation

NLDB'05 Proceedings of the 10th international conference on Natural Language Processing and Information Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-time reactive systems are often safety-critical andhence must be thoroughly analyzed before they are deployed.This paper discusses methods for generating testsfrom object-oriented specifications of real-time reactive systems.Formal descriptions contain information on systementities, as mandated by requirements, as well as environmentalentities, included in a domain model. These are exploitedin the testing of an implementation, either for generatingand sequencing tests, or as an oracle in evaluatingtest results. A tool has been developed based on thetechniques and is being applied to several case studies developedin TROMLAB, a framework for a rigorous developmentof real-time reactive systems.The Train-Gate-Controller(TGC) case study presented in the paper is one of them.