Theses and Dissertations
Now showing items 1-2 of 2
Environment behavior models for real-time reactive system testing automation
(Monterey, California. Naval Postgraduate School, 2006-09)
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 ...
Analysis of TLcharts for weapon systems software development
(Monterey, California. Naval Postgraduate School, 2005-12)
The success of formal specifications and reactive systems is highly dependant on the formal specification language being used. To date, the most common approach to this problem involves two activities: (i) the specification ...