Conformance Checking during Software Evolution

Reflexion models are a conformance checking technique between high-level models and source code. I propose three changes to improve scalability of the technique and its ease of use in the context of an evolving software development project. First, express architectural rules as design tests that may be checked in a testing framework. Second, support semi-automated changes to the mapping between source code and the model when source code changes occur. Finally, derive automated suggestions of high-level model changes based on improving software cohesion and coupling.