New Directions in Software Quality Assurance Automation
Loading...
Authors
Auguston, Mikhail
Subjects
environment models, reactive systems, requirements specification and verification, testing and safety assessment automation, event traces.
Advisors
Date of Issue
2009-06
Date
June 15-17, 2009
Publisher
Language
Abstract
A formalism is suggested for specifying environment behavior models for software test scenario generation based on attributed event grammars. The environment model may contain descriptions of the events triggered by the software outputs and of the hazardous states in which the system could arrive, thus providing a framework for specifying properties of software behavior within the given environment. The behavior of the system can be rendered as an event set with two partial ordering relations: precedence and inclusion (event trace). This formalism may be used as a basis for automation tools for test generation, test result monitoring and verification, for experiments to gather statistics about software safety, and for evaluating of dependencies of system’s behavior on environment parameters. The monitoring activities can be implemented within a uniform framework as computations over event traces.
Type
Description
14th International Command and Control Research and Technology Symposium (ICCRTS), June 15-17, 2009, Washington DC.
Series/Report No
Department
Computer Science (CS)
Organization
Identifiers
NPS Report Number
Sponsors
Funder
Format
Citation
Distribution Statement
Rights
This 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.