TU Darmstadt / ULB / TUbiblio

Integrating and Scheduling an Open Set of Static Analyses

Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. :
Integrating and Scheduling an Open Set of Static Analyses.
In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06), Tokyo, Japan. Proceedings of the 21st International Conference on Automated Software Engineering
[Konferenz- oder Workshop-Beitrag], (2006)

Kurzbeschreibung (Abstract)

To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If multiple interdependent analyses are used simultaneously, the coordination between the analyses becomes a major obstacle to keep the set of analyses open. We propose an approach to integrating and scheduling an open set of static analyses which decouples the individual analyses and coordinates the analysis executions such that the overall time and space consumption is minimized. The approach has been implemented for the Eclipse IDE and has been used to integrate a wide range of analyses such as finding bug patterns, detecting violations of design guidelines, or type system extensions for Java.

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2006
Autor(en): Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B.
Titel: Integrating and Scheduling an Open Set of Static Analyses
Sprache: Englisch
Kurzbeschreibung (Abstract):

To improve the productivity of the development process, more and more tools for static software analysis are tightly integrated into the incremental build process of an IDE. If multiple interdependent analyses are used simultaneously, the coordination between the analyses becomes a major obstacle to keep the set of analyses open. We propose an approach to integrating and scheduling an open set of static analyses which decouples the individual analyses and coordinates the analysis executions such that the overall time and space consumption is minimized. The approach has been implemented for the Eclipse IDE and has been used to integrate a wide range of analyses such as finding bug patterns, detecting violations of design guidelines, or type system extensions for Java.

Buchtitel: Proceedings of the 21st International Conference on Automated Software Engineering
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Veranstaltungstitel: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06)
Veranstaltungsort: Tokyo, Japan
Hinterlegungsdatum: 17 Sep 2009 09:16
ID-Nummer: 10.1109/ASE.2006.43
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen