Implementation and Analysis of Environment Behavior Models as a Tool for Testing Real-Time, Reactive Systems
Michael, James B.
MetadataShow full item record
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.
RightsThis 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.
Showing items related by title, author, creator and subject.
Auguston, Mikhail; Whitcomb, Clifford (2010-06);This paper suggests an approach to formal software and system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence ...
Auguston, Mikhail; Whitcomb, Clifford; Giammarco, Kristin (2012);This paper suggests a new approach to formal system and software architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence ...
Auguston, Mikhail (2009-06);A formalism is suggested for specifying environment behavior models for software test scenario generation based on attributed event grammars. The environment model may contain descriptions of the events triggered by the ...