Test Automation and Safety Assessment in Rapid Systems Prototyping
Authors
Auguston, Mikhail
Michael, James Bret
Shing, Man-Tak
Subjects
Advisors
Date of Issue
2005
Date
Publisher
Language
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.
Type
Report
Description
The article of record as published may be found at http://dx.doi.org/10.1109/RSP.2005.49
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
U.S. Missile Defense Agency.
Funder
Format
7 p.
Citation
M. Auguston, J. B. Michael and M. -. Shing, "Test automation and safety assessment in rapid systems prototyping," 16th IEEE International Workshop on Rapid System Prototyping (RSP'05), Montreal, Que., 2005, pp. 188-194.
Distribution Statement
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.