Title :
Deriving tests from software architectures
Author :
Jin, Zhenyi ; Offutt, Jeff
Author_Institution :
Adv. Eng. & Sci., ITT Industries, Reston, VA, USA
Abstract :
Software architectures are intended to describe essential high level structural and behavioral characteristics of a 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. The 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.
Keywords :
program testing; program verification; software architecture; specification languages; ADLs; Architecture Description Languages; architectural components; architecture relations; behavioral characteristics; formal testing criteria; high level structural characteristics; industrial software; software architectures; system level; test derivation; Algorithm design and analysis; Application software; Architecture description languages; Chemical analysis; Computer architecture; Computer industry; Connectors; Software architecture; Software testing; System testing;
Conference_Titel :
Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on
Print_ISBN :
0-7695-1306-9
DOI :
10.1109/ISSRE.2001.989484
