Environment behavior models for scenario generation and testing automation

Authors:
Mikhail Auguston;James Bret Michael;Man-Tak Shing
Affiliations:
Naval Postgraduate School, Monterey, CA;Naval Postgraduate School, Monterey, CA;Naval Postgraduate School, Monterey, CA
Venue:
A-MOST '05 Proceedings of the 1st international workshop on Advances in model-based testing
Year:
2005

Citing 11
Cited 5

Simulating the Behavior of Software Modules by Trace Rewriting

IEEE Transactions on Software Engineering
Attribute grammar paradigms—a high-level methodology in language implementation

ACM Computing Surveys (CSUR)
Issues in the full scale use of formal methods for automated testing

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Assertion-oriented automated test data generation

Proceedings of the 18th international conference on Software engineering
Model-based testing in practice

Proceedings of the 21st international conference on Software engineering
Korat: automated testing based on Java predicates

ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Generating Test Data with Enhanced Context-Free Grammars

IEEE Software
A Framework for Automatic Debugging

Proceedings of the 17th IEEE international conference on Automated software engineering
Improvement of Control Software for Automatic Logistic Systems Using Executable Environment Models

EUROMICRO '98 Proceedings of the 24th Conference on EUROMICRO - Volume 2
Visual Timed Event Scenarios

Proceedings of the 26th International Conference on Software Engineering
Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System

International Journal on Software Tools for Technology Transfer (STTT)

Using a pilot study to derive a GUI model for automated testing

ACM Transactions on Software Engineering and Methodology (TOSEM)
Software architecture built from behavior models

ACM SIGSOFT Software Engineering Notes
jSynoPSys -- A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines

Electronic Notes in Theoretical Computer Science (ENTCS)
A component-based approach for constructing high-confidence distributed real-time and embedded systems

Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
Scenario-based testing using symbolic animation of B models

Software Testing, Verification & Reliability

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.