An approach to integration testing based on architectural descriptions