University of Twente Student Theses


Bugspray for composition filters

Huisman, Rolf (2007) Bugspray for composition filters.

[img] PDF
Abstract:The behavior of computer programs can be hard to understand because of the execution complexity of a program. Because of the composition of programs with composition filters and/or other aspect oriented languages the execution in computer programs can be even more complex and therefore even more difficult to understand. Besides the increased difficulty we also found that the conventional debugging tools and techniques are less suitable for use within aspect oriented programming. This report will concentrate on improving the representation, editing, compiling, and debugging of composition filter programs while remaining extensible and programming language independent. The primary focus will be on the debugging of composition filter programs within the Compose? framework. We approached the breakpoint issue by allowing the programmer to set breakpoints on the behavior of a program, to allow the programmer to see how the execution of the implementation behaves. This behavior of the program can be specified with use of the proposed LTL breakpoints. We approached the comprehensibility problem by a proposed Composition Filter representation. Because of the sound conceptual model of Composition Filters, if the side effects of a filter are limited to a message, the behavior becomes stutter equivalent. This stutter equivalent behavior can be used to reduce validations and allows a representation of a complete filters evaluation at a joinpoint.
Item Type:Essay (Master)
Twente Research and Education on Software Engineering
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page