Test Automation and Safety Assessment in Rapid Systems Prototyping
| dc.contributor.author | Auguston, Mikhail | |
| dc.contributor.author | Michael, James Bret | |
| dc.contributor.author | Shing, Man-Tak | |
| dc.contributor.corporate | Naval Postgraduate School (U.S.) | |
| dc.contributor.department | Computer Science (CS) | |
| dc.date.accessioned | 2018-08-09T21:09:53Z | |
| dc.date.available | 2018-08-09T21:09:53Z | |
| dc.date.issued | 2005 | |
| dc.description | The article of record as published may be found at http://dx.doi.org/10.1109/RSP.2005.49 | |
| dc.description.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. | en_US |
| dc.description.sponsorship | U.S. Missile Defense Agency. | en_US |
| dc.format.extent | 7 p. | en_US |
| dc.identifier.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. | en_US |
| dc.identifier.uri | https://hdl.handle.net/10945/59428 | |
| dc.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. | en_US |
| dc.title | Test Automation and Safety Assessment in Rapid Systems Prototyping | en_US |
| dc.type | Report | en_US |
| dspace.entity.type | Publication |
