Environment behavior models for real-time reactive system testing automation
Loading...
Authors
Aksu, Muharrem Ugur.
Subjects
Advisors
Auguston, Mikhail
Shing, Man-Tak
Date of Issue
2006-09
Date
Publisher
Monterey, CA; Naval Postgraduate School
Language
Abstract
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.
Type
Thesis
Description
Series/Report No
Department
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Funder
Format
xvi, 145 p. : col. ill. ;
Citation
Distribution Statement
Approved for public release; distribution is unlimited.