Executable Aspect Oriented Models for Improved Model Testing

Andrew Jackson (1) , Jacques Klein (2) , Benoit Baudry (3) , Siobhan Clarke (1)

1 Department of Computer Science - Trinity College Dublin
2 LASSY - Laboratory of Advanced Software SYstems [Luxembourg]
3 TRISKELL - Reliable and efficient component based software engineering

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.

Domaines: Génie logiciel [cs.SE]

Andrew Jackson, Jacques Klein, Benoit Baudry, Siobhan Clarke. Executable Aspect Oriented Models for Improved Model Testing. ECMDA workshop on Integration of Model Driven Development and Model Driven Testing., 2006, Bilbao, Spain, Spain. ⟨inria-00512544⟩