A Formal Architecture-Based Approach to Software Integration Testing
The Formal Architecture-Based Approach to Software Integration Testing project is a collaboration of researchers at the Irvine Software Lifecycle Assurance Research Center in the Department of Information and Computer Science at the University of California at Irvine, and researchers at the University of Colorado at Boulder. This project is sponsored by both the National Science Foundation and the Defense Advanced Research Projects Agency. It is part of both High Assurance and Architecture clusters of the DARPA-sponsored EDCS program. Our efforts are coordinated with other EDCS projects in High Assurance and Architecture as well as projects in other clusters.Description | Project | People | Papers | Links
Description
A formal software architecture specification makes the analysis, design, and construction of a complex system intellectually tractable by characterizing the system at a high level of abstraction. Defects in the dynamic interaction and communication behavior of the components in the system can be revealed through dynamic analysis, of which testing is a familiar technique. Historically, testing has concentrated on the implementation as the target of inquiry, which has meant that it is considered relatively late in the development process. There is, however, a highly profitable role for considering the architectural specification of the system as a target for testing, which affords effective reuse of test artifacts across product families and components. This is now possible due to the emergence of formal notations for software architecture specification, which can provide a sound basis upon which to develop architecture-based, integration testing techniques and tools.There are five major contributions to software architecture and software testing technology arising from this research. First, a set of architecture-based integration test criteria will be defined to provide requirements for testing architectural aspects of a system; methods will also be developed for applying these criteria to architectural styles and domain-specific architectures. Second, methods will be developed for testing an implementation in terms of its conformance to a specified architecture via architecture conformance oracles. Third, architecture-level slicing techniques will be defined for localizing architectural defects and minimizing regression testing. Fourth, methods will be developed for using feature tests to discover the architecture of a system from its implementation. Finally, various approaches to formal architecture specification will be evaluated with respect to their suitability to testing technologies.
This research is being conducted in cooperation with Alexander L. Wolf of the University of Colorado at Boulder. The project is currently funded by an EDCS /NSF grant.
People
UCI / ROSATEA people working on various aspects of this project include:- Debra J. Richardson <djr@ics.uci.edu >
- Charles Liu <liu@ics.uci.edu>
- Rajee Nagarajan <rajee@ics.uci.edu>
- Marlon Vieira <mvieira@ics.uci.edu>