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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Monterey, California. Naval Postgraduate School
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10945/2676 |