Environment behavior models for real-time reactive system testing automation

Environment behavior models for real-time reactive system testing automation

We explored the effectiveness of using attributed event grammars (AEG) based environment behavior models as a method for testing and analyzing real-time, reactive software systems. The AEG specifies possible event traces and provides a uniform approach for automatically generating and executing test...

Full description

Bibliographic Details
Main Author: Aksu, Muharrem Ugur.
Other Authors: Auguston, Mikhail
Format: Others
Published: Monterey, California. Naval Postgraduate School 2012
Subjects:
Software engineering
Automation
Computer programs
System analysis
Computer science
Online Access:http://hdl.handle.net/10945/2676
Description
Summary:We explored the effectiveness of using attributed event grammars (AEG) based environment behavior models as a method for testing and analyzing real-time, reactive software systems. The AEG specifies possible event traces and provides a uniform approach for automatically generating and executing test cases. We have demonstrated the approach through a case study (Paderborn Shuttle System Control Software) and performed three kinds of experiments: software correctness testing, system performance analysis and study of design alternatives.

Similar Items