Environment behavior models for scenario generation and testing automation

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.

[1]  Peter A. Lindsay,et al.  Safety validation of embedded control software using Z animation , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[2]  Insup Lee,et al.  Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System , 2003, International Journal on Software Tools for Technology Transfer.

[3]  Clinton Jeffery,et al.  A framework for automatic debugging , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[4]  Víctor A. Braberman,et al.  Visual timed event scenarios , 2004, Proceedings. 26th International Conference on Software Engineering.

[5]  Peter M. Maurer,et al.  Generating test data with enhanced context-free grammars , 1990, IEEE Software.

[6]  Mikhail Auguston Lightweight semantics models for program testing and debugging automation , 2000 .

[7]  Mikhail Auguston A language for debugging automation , 1994, SEKE.

[8]  Jukka Paakki,et al.  Attribute grammar paradigms—a high-level methodology in language implementation , 1995, CSUR.

[9]  Alexander Pretschner,et al.  Model-Based Testing in Practice , 2005, FM.

[10]  W. M. McKeeman,et al.  Differential Testing for Software , 1998, Digit. Tech. J..

[11]  Christian Steger,et al.  Improvement of control software for automatic logistic systems using executable environment models , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).

[12]  Abbott PCA Plus II patient-controlled analgesic pumps prone to misprogramming resulting in narcotic overinfusions. , 1997, Health devices.

[13]  Sarfraz Khurshid,et al.  Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[14]  James L. Crowley,et al.  Issues in the full scale use of formal methods for automated testing , 1996, ISSTA '96.

[15]  Bogdan Korel,et al.  Assertion-oriented automated test data generation , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[16]  Mark Blackburn,et al.  Using models for test generation and analysis , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[17]  David Lorge Parnas,et al.  Simulating the behaviour of software modules by trace rewriting , 1993, ICSE '93.

[18]  Robert M. Hierons,et al.  Concerning the Ordering of Adaptive Test Sequences , 2003, FORTE.