Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira (2008)
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering
Buchkapitel, Bibliographie
Kurzbeschreibung (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.
| Typ des Eintrags: | Buchkapitel |
|---|---|
| Erschienen: | 2008 |
| Autor(en): | Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira |
| Art des Eintrags: | Bibliographie |
| Titel: | Defining and continuous checking of structural program dependencies |
| Sprache: | Englisch |
| Publikationsjahr: | 4 Mai 2008 |
| Verlag: | ACM Press |
| Buchtitel: | Proceedings of the 30th International Conference on Software Engineering |
| URL / URN: | http://doi.acm.org/10.1145/1368088.1368142 |
| Kurzbeschreibung (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. |
| Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik > Softwaretechnik 20 Fachbereich Informatik |
| Hinterlegungsdatum: | 04 Mai 2009 13:40 |
| Letzte Änderung: | 05 Mär 2013 09:19 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum