Commercial Off the Shelf (COTS) Security Issues and Approaches
NAVAL POSTGRADUATE SCHOOL MONTEREY CA
Pagination or Media Count:
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.
- Computer Programming and Software
- Logistics, Military Facilities and Supplies