New Directions in Software Quality Assurance Automation
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.
Description
14th International Command and Control Research and Technology Symposium (ICCRTS), June 15-17, 2009, Washington DC.
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.Collections
Related items
Showing items related by title, author, creator and subject.
-
A new approach to system and software architecture specification based on behavior models
Auguston, Mikhail; Whitcomb, Clifford; Giammarco, Kristin (2012-10-10);This paper suggests a new approach to formal system and software architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence ... -
System architecture specification based on behavior models
Auguston, Mikhail; Whitcomb, Clifford (2010-06);This paper suggests an approach to formal software and system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence ... -
Developing highly predictable system behavior in real-time battle-management software
Michael, James Bret (Monterey, California. Naval Postgraduate School, 2003); NPS-CS-03-006Given that battle-management solutions in system-of-systems environment are separately designed and developed on various operating platforms in different languages, predicting battle-management behavior of system-of-systems ...