Environment behavior models for automation of testing and assessment of system safety
Michael, James Bret
MetadataShow full item record
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.
The article of record as published may be found at http://dx.doi.org/10.1016/j.infsof.2006.03.005
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.
Chew, Jian Ming (Monterey, CA; Naval Postgraduate School, 2019-09);In view of increasing urbanization worldwide, it is expected that many future military operations will occur in urban environments. To conduct an urban operation effectively, the dismounted warfighter requires real-time ...
Herrington, Shawn M.; Renzelman, Jeff T.; Fields, Travis D.; Yakimenko, Oleg A. (AIAA, 2019-03);This paper presents an experimental approach for testing a steerable cruciform parachute system using a vertical wind tunnel. A controller to stabilize the canopy heading is developed and tuned. A model that captures the ...
Pfeiffer, Karl D.; Kanevsky, Valery A.; Housel, Thomas J. (2009-04-01); NPS-AM-09-023Testing of complex systems is a fundamentally difficult task, whether locating faults (diagnostic testing) or implementing upgrades (regression testing). Branch paths through the system increase as a function of the number ...