Executable Aspect Oriented Models for Improved Model Testing

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 symmetrically decomposing concern based executable class diagrams and concern test scenarios. KerTheme also facilitates simultaneous 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 weather decomposed concern based executable class diagrams simplifies the definition of concern test scenarios. This will also allow us to investigate weather this approach ensures more rigorous testing of a complete system.