An Aspect-Oriented Approach for Assertion Verification
Ulises Juárez-Martínez, Giner Alor‐Hernández, Rubén Posada‐Gómez, Joaquín Santos-Luna, Juan Miguel Gómez, Alejandro Rodríguez‐González · 2009
Assertions or formal program specifications are fundamental to build more reliable software. One of the most important applications of assertions is found in the design by contract metaphor: pre-conditions, invariants and post-conditions. Current assertion approaches use some software technology that relies on simple mechanisms; however their actual implementation can be both quite complex and instrusive. A good knowledge of program algorithms is required to introduce enhancements which crosscut basic algorithms and structures. In this paper, we propose a non-intrusive assertion verification implementation. We have used aspect-orientation and provide correctness in order to decide on the validity of assertions.