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

Mô tả đầy đủ

Chi tiết về thư mục
Xuất bản năm:Software engineering notes. 30, 5 (2005).
Tác giả chính: Auguston, Mikhail
Định dạng: Bài viết
Ngôn ngữ:English
Những chủ đề:
Software.
Software engineering.
Testing and debugging.
Design.
Reliability.
Model-based testing.
Reactive and real time system testing.
Testing automation.