KerTheme: Testing Aspect Oriented Models

Design validation is important for detecting errors early in the development life cycle. Testing the design is one significant means to achieve design validation. In this paper we introduce the KerTheme model. KerTheme provides a means for symmetrically decomposing concern based executable class diagrams and concern test scenarios. KerTheme also facilitates synchronised merging of these decomposed models into a coherent composite concern based executable class model and corresponding test scenarios. The KerTheme model allows us to investigate whether decomposed concern based executable class diagrams simplifies the definition of concern test scenarios. This will also allow us to investigate whether this approach ensures more rigorous testing of a complete system.