Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems

Share/Save/Bookmark

Gülesir, Gürcan and Berg, Klaas van den and Bergmans, Lodewijk and Aksit, Mehmet (2009) Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems. Empirical Software Engineering, 1 (1). pp. 1-58. ISSN 1382-3256

open access
[img]
Preview
PDF
1MB
Abstract:In event-driven systems, separating the reactive part of software (i.e., event-driven control) from the non-reactive part is a common design practice. The reactive part is typically structured according to the states and transitions of a system, whereas the non-reactive part is typically structured according to the concepts of the application domain (e.g., the services provided by the system). In such systems, the non-reactive part of software stimulates the reactive part with event calls. Whenever the non-reactive part is modified (e.g., during evolution), the existing event calls may become invalid, new event calls may become necessary, and the two parts of software may become incompatible. Manually finding and repairing these types of defects is a time-consuming and error-prone maintenance task. In this article, we present a solution that combines source code model checking and aspect-oriented programming techniques, to reduce the time spent by developers and to automatically find defects, while performing the maintenance task mentioned above. In addition, we present controlled experiments showing that the solution can reduce the time by 75%, and enable the prevention of one defect per 140 lines of source code.
Item Type:Article
Copyright:© 2009 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/65488
Official URL:http://dx.doi.org/10.1007/s10664-009-9107-y
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page