Environment behavior models for scenario generation and testing automation.

This paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed event grammar (AEG) specifies...

Full description

Bibliographic Details

Published in:	Software engineering notes. 30, 5 (2005).
Main Author:	Auguston, Mikhail
Format:	Article
Language:	English
Subjects:	Software. Software engineering. Testing and debugging. Design. Reliability. Model-based testing. Reactive and real time system testing. Testing automation.