Test Automation and Safety Assessment in Rapid Systems Prototyping

  • Authors:
  • Mikhail Auguston;James Bret Michael;Man-Tak Shing

  • Affiliations:
  • Naval Postgraduate School;Naval Postgraduate School;Naval Postgraduate School

  • Venue:
  • RSP '05 Proceedings of the 16th IEEE International Workshop on Rapid System Prototyping
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper addresses the need for automatic generation of executable environment models to facilitate the testing of real-time reactive Systems Under Development (SUD) in rapid system prototyping. We present an approach that allows users to model the environment in which the SUD will operate in the terms of Attributed Event Grammar (AEG). The AEG provides a uniform approach for automatically generating, executing, and analyzing tests. The approach is supported by a generator that creates test cases from the AEG models. We demonstrate the effectiveness of the proposed approach with using as a case study a prototype of the safety-critical Computer-Assisted Resuscitation Algorithm (CARA) software for a casualty intravenous fluid infusion pump.