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
格式: 文件
语言:English
主题:
Software.
Software engineering.
Testing and debugging.
Design.
Reliability.
Model-based testing.
Reactive and real time system testing.
Testing automation.