An Approach to Integration Testing Based on Architectural Descriptions