Environment Behavior Models for Scenario Generation and Testing Automation
James Bret Michael
MetadataShow full item record
This paper suggests an approach to automatic scenario generation from environment models for testing of real-time reactive systems. The behavior of the system 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, executing, and analyzing 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 case studies of prototypes for the safety-critical computer-assisted resuscitation algorithm (CARA) software for a casualty intravenous fluid infusion pump and the Paderborn Shuttle System.
In Proceedings of the First International Workshop on Advances in Model-Based Software Testing (A-MOST'05), the 27th International Conference on Software Engineering ICSE’05, May 15-16, 2005, St. Louis, USA
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 ...
Mathematical modeling to reduce the cost of complex system testing: Characterizing test coverage to assess and improve information return Pfeiffer, Karl D.; Kanevsky, Valery A.; Housel, Thomas J. (2011-09-21); NPS-TE-11-181Effective, 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 ...