TU Darmstadt / ULB / TUbiblio

Integrating and Scheduling an Open Set of Static Analyses

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

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.

Item Type: Conference or Workshop Item
Erschienen: 2006
Creators: Eichberg, Michael and Mezini, Mira and Kloppenburg, Sven and Ostermann, Klaus and Rank, B.
Title: Integrating and Scheduling an Open Set of Static Analyses
Language: English
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.

Title of Book: Proceedings of the 21st International Conference on Automated Software Engineering
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Software Technology
Event Title: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06)
Event Location: Tokyo, Japan
Date Deposited: 17 Sep 2009 09:16
Identification Number: doi:10.1109/ASE.2006.43
Export:
Suche nach Titel in: TUfind oder in Google

Optionen (nur für Redakteure)

View Item View Item