Exploiting software architecture to support requirements satisfaction testing