Abstract
Software architecture are intended to describe essential high level tructural and behavioral characteristic of the system. Architecture Description Language (ADLs) decribe these characteristic in way that can be analyzed and manipulated algorithmically. This provide a unique opportunity for deriving test at the system level. This paper define formal testing criteria based on architecture relations, which are paths that architectural component use to communicate. The criteria have been applied to a specific ADL. Result from a comparative empirical study on industrial oftware are presented.