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.