Environment behavior models for automation of testing and assessment of system safety
Loading...
Authors
Auguston, Mikhail
Michael, James Bret
Shing, Man-Tak
Subjects
Model-based testing
Testing automation
Reactive and real-time system testing
Testing automation
Reactive and real-time system testing
Advisors
Date of Issue
2006
Date
Publisher
Elsevier
Language
Abstract
This paper presents an approach to automatic scenario generation from environment behavior models for testing of real-time reactive
systems. The model of behavior is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The attributed
event grammar (AEG) specifies possible event traces and provides a uniform approach for automatically generating and executing
test cases. The environment model includes a description of hazardous states in which the system may arrive and makes it possible to
gather statistics for system safety assessment. The approach is supported by a generator that creates test cases from the AEG models.
We demonstrate the approach with a case study of a software prototype of the computer-assisted resuscitation algorithm for a safety-critical
casualty intravenous fluid infusion pump.
Published by Elsevier B.V.
Type
Article
Description
The article of record as published may be found at http://dx.doi.org/10.1016/j.infsof.2006.03.005
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
10 p.
Citation
Auguston, Mikhail, James Bret Michael, and Man-Tak Shing. "Environment behavior models for automation of testing and assessment of system safety." Information and Software Technology 48.10 (2006): 971-980.
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.