Environment Behavior Models for Real-Time Reactive System Testing Automation

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2006
Accession Number
ADA456999

Entities

People

  • Muharrem U. Aksu

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Automation
  • Case Studies
  • Computer Programming
  • Computer Science
  • Computers
  • Control Systems
  • Debugging
  • Engineering
  • Language
  • Performance Tests
  • Probability
  • Software Development
  • Software Testing
  • Statistical Data
  • Systems Engineering
  • Test And Evaluation
  • Time Intervals

Fields of Study

  • Computer science
  • Engineering

Readers

  • Aerospace Test and Evaluation
  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Software Engineering.