Deriving Tests From Software Architectures

The Twelfth IEEE International Symposium on Software Reliability Engineering (ISSRE '01), pages 308--313, Hong Kong, PRC, November 2001.

Zhenyi Jin and Jeff Offutt


Software architectures are intended to describe essential high level structural and behavioral characteristics of the system. Architecture Description Languages (ADLs) describe these characteristics in ways that can be analyzed and manipulated algorithmically. This provides a unique opportunity for deriving tests at the system level. This paper defines formal testing criteria based on architecture relations, which are paths that architectural components use to communicate. The criteria have been applied to a specific ADL. Results from a comparative empirical study on industrial software are presented.

Conference presentation.

Back to my home page.