Abstract
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 front a comparative empirical study on industrial software are presented.
| Original language | English |
|---|---|
| Pages (from-to) | 308-313 |
| Number of pages | 6 |
| Journal | Proceedings of the International Symposium on Software Reliability Engineering, ISSRE |
| DOIs | |
| State | Published - 2001 |
Fingerprint
Dive into the research topics of 'Deriving tests from software architectures'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver