Deriving tests from software architectures

Author

Jin, Zhenyi ; Offutt, Jeff

Author_Institution

Adv. Eng. & Sci., ITT Industries, Reston, VA, USA

fYear

2001

fDate

27-30 Nov. 2001

Firstpage

308

Lastpage

313

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Reliability Engineering, 2001. ISSRE 2001. Proceedings. 12th International Symposium on

ISSN

1071-9458

Print_ISBN

0-7695-1306-9

Type

conf

DOI

10.1109/ISSRE.2001.989484

Filename

989484