Recovering and checking software architectural properties based on execution tree analysis

Thiago H. BragaMarcelo de A. MaiaRoberto da S. Bigonha

The specification of the software architecture is an important artifact produced during software design. However, traditional specification techniques do not provide support for guaranteeing that architectural properties of the specification are valid for the implemented software. We propose an approach to recover and specify architectural properties based on execution constraints. The proposed approach is based on specifying constraints as queries in execution trees of software systems. The constraints are generated as annotations and verified against the implementation with a dynamic verifier. We have implemented a tool for Java systems and we argue that our approach presents some benefits over similar ones.

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato:
     Mantida por: