The Community for Technology Leaders
Software Engineering Advances, International Conference on (2007)
Cap Esterel, France
Aug. 25, 2007 to Aug. 31, 2007
ISBN: 0-7695-2937-2
pp: 4
Miguel A. Perez-Toledano , University of Extremadura, Spain
Amparo Navasa , University of Extremadura, Spain
Juan M. Murillo , University of Extremadura, Spain
Carlos Canal , University of M?laga, Spain
ABSTRACT
Aspect Oriented Software Development provides a suitable support for software system evolution. The system properties are better encapsulated resulting in easier manipulation. Besides, new properties or changes can be added to the systems as new aspects, reducing cost, effort and time. However, adding new aspects to an existing AO system could produce unexpected behaviour. In particular, when there is an aspect already operating in the same joint point that the new one, the two aspects may interfere each other. In this context, TITAN is a framework that supports system evolution through aspect oriented techniques, allowing to verify whether the added behaviour produces the expected results. The starting point is the UML specification of both the initial system and the aspects. From that point, the specification is validated generating a CCS algebraic description of the system. Next, extended (finite) state machines are automatically generated to verify, simulate, and test the modelled system behaviour. Additionally, the result of that process can also be compared with the behaviour of the new running system.
INDEX TERMS
Aspect-oriented programming, testing, UML, sequence diagrams, test generation, state machines, algebraic descriptions
CITATION

A. Navasa, J. M. Murillo, M. A. Perez-Toledano and C. Canal, "TITAN: a Framework for Aspect Oriented System Evolution," 2007 International Conference on Software Engineering Advances(ICSEA), Cap Esterel, 2007, pp. 4.
doi:10.1109/ICSEA.2007.77
100 ms
(Ver 3.3 (11022016))