Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems
Loading...
Authors
Tummala, Harsha
Auguston, Mikhail
Michael, James B.
Shing, Man-Tak
Little, David
Pace, Zachary
Subjects
safety reliability and quality assurance
reactive and real-time system testing
testing automation
model-based testing
simulation
systems modeling
reactive and real-time system testing
testing automation
model-based testing
simulation
systems modeling
Advisors
Date of Issue
2006
Date
Publisher
IEEE
Language
Abstract
We explored the effectiveness of using
environment behavior models as a method for testing and
analyzing real-time, reactive software systems. Through
the automatic generation of test case scenarios based on
attributed event grammar, environment behavior models
subject the system under test (SUT) to a range of
potentially hazardous states. We explored the extent to
which experiments with a SUT embedded in an
environment behavior model serve as a constructive
method for quantitative and qualitative assessment of
software system safety. This was done by implementing
simulations in which an environment behavior model
interacted with the safety-critical computer-assisted
resuscitation algorithm (CARA), which is used with a
casualty intravenous fluid infusion pump. It was found that
with regard to real-time reactive systems, environment
behavior models can be used as an effective tool for
qualitative and quantitative safety assessment, as well as
for improvement of the SUT.
Type
Article
Description
Series/Report No
Department
Computer Science (CS)
Organization
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
U.S. Missile Defense Agency.
Funding
Format
5 p.
Citation
Tummala, Harsha, et al. "Implementation and analysis of environment behavior models as a tool for testing real-time, reactive systems." System of Systems Engineering, 2006 IEEE/SMC International Conference on. IEEE, 2006.
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.