Environment behavior models for scenario generation and testing automation.

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...

Disgrifiad llawn

Manylion Llyfryddiaeth
Cyhoeddwyd yn:Software engineering notes. 30, 5 (2005).
Prif Awdur: Auguston, Mikhail
Fformat: Erthygl
Iaith:English
Pynciau:
Software.
Software engineering.
Testing and debugging.
Design.
Reliability.
Model-based testing.
Reactive and real time system testing.
Testing automation.