Towards a Framework for Testing Structural Source-Code Regularities

As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvability of the system. However, due to constant changes, the implementation structure and its documentation tend to dilute over time. Building on the underlying models of intensional views and intensional relations, our IntensiVE tool-suite helps a developer in documenting structural source-code regularities, verifying them and offering fine-grained feedback when the code does not satisfy those regularities