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
Showing items related by title, author, creator and subject.
Mathematical modeling for risk-based system testing / by Karl D. Pfeiffer, Valery A. Kanevsky, and Thomas J. Housel. Pfeiffer, Karl D.; Kanevsky, Valery A.; Housel, Thomas J. (Monterey, California. Naval Postgraduate School, 2009); NPS-GSBPP-09-028Testing 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 ...
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 ...
Karl Pfeiffer; Valery Kanevsky; Thomas Housel (2011-04-30); NPS-AM-11-C8P10R01-042Effective, cost-efficient testing is critical to the long-term success of open architecture within the Navy''s Integrated Warfare System. In previous research we have developed a simple, effective framework to examine the ...