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

全面介紹

書目詳細資料
發表在:Software engineering notes. 30, 5 (2005).
主要作者: Auguston, Mikhail
格式: Article
語言:English
主題:
Software.
Software engineering.
Testing and debugging.
Design.
Reliability.
Model-based testing.
Reactive and real time system testing.
Testing automation.