TU Darmstadt / ULB / TUbiblio

Defining and continuous checking of structural program dependencies

Eichberg, Michael and Kloppenburg, Sven and Klose, Karl and Mezini, Mira (2008):
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering, ACM Press, pp. 391-400, [Online-Edition: http://doi.acm.org/10.1145/1368088.1368142],
[Book Section]

Abstract

Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these different perspectives on the permitted dependencies and to detect violations continuously and incrementally as software evolves. We propose an approach that uses declarative queries to group source elements - across programming language module boundaries - into overlapping ensembles. The dependencies between these ensembles are also specified as logic queries. The approach has been integrated into the incremental build process of Eclipse to ensure continuous checking, using an engine for tabled and incremental evaluation of logic queries. Our evaluation shows that our approach is fast enough for day-to-day use along the incremental build process of modern IDEs.

Item Type: Book Section
Erschienen: 2008
Creators: Eichberg, Michael and Kloppenburg, Sven and Klose, Karl and Mezini, Mira
Title: Defining and continuous checking of structural program dependencies
Language: English
Abstract:

Dependencies between program elements need to be modeled from different perspectives reflecting architectural, design, and implementation level decisions. To avoid erosion of the intended structure of the code, it is necessary to explicitly codify these different perspectives on the permitted dependencies and to detect violations continuously and incrementally as software evolves. We propose an approach that uses declarative queries to group source elements - across programming language module boundaries - into overlapping ensembles. The dependencies between these ensembles are also specified as logic queries. The approach has been integrated into the incremental build process of Eclipse to ensure continuous checking, using an engine for tabled and incremental evaluation of logic queries. Our evaluation shows that our approach is fast enough for day-to-day use along the incremental build process of modern IDEs.

Title of Book: Proceedings of the 30th International Conference on Software Engineering
Publisher: ACM Press
ISBN: 978-1-60558-079-1
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 04 May 2009 13:40
Official URL: http://doi.acm.org/10.1145/1368088.1368142
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item