Accession Number:

ADA456999

Title:

Environment Behavior Models for Real-Time Reactive System Testing Automation

Descriptive Note:

Master's thesis

Corporate Author:

NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE

Personal Author(s):

Report Date:

2006-09-01

Pagination or Media Count:

163.0

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.

Subject Categories:

  • Information Science
  • Psychology
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE