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...
| Wydane w: | Software engineering notes. 30, 5 (2005). |
|---|---|
| 1. autor: | |
| Format: | Artykuł |
| Język: | English |
| Hasła przedmiotowe: |