A Common Development Platform for Static Source-Code Analysis of Generic Software Libraries

点击翻译按钮获取中文摘要

Generische Softwarebibliotheken - Bibliotheken mit parametrisierten Komponenten - helfen einerseits, Softwarequalität zu verbessern und Produktivität zu erhöhen, verlangen in der Benutzung und Wartung andererseits einen unnötig hohen manuellen Aufwand. Werkzeuge zur automatischen Unterstützung bauen auf spezialisierten Analysen auf, die die besonderen Beziehungen und Abhängigkeiten in einer generischen Bibliothek automatisch erkennen und bewerten können; solche Analysen gibt es im Moment im Prinzip nicht. Ziel dieses Projektes ist, die Grundlagen für die Klasse der Werkzeuge zu legen, die auf statischen Analysen von generischen Eigenschaften beruhen. Theoretisch sind dazu neue Analysen nötig, praktisch eine softwaretechnische Infrastruktur, in der Analysen entworfen, implementiert, getestet und verifiziert werden können. Weil sich statische Analysen für verschiedene generische Sprachen zwar unterscheiden, aber auch überlappen, wäre eine gemeinsame Entwicklungsplattform sinnvoll - vorausgesetzt, sie bedeutet keinen letztendlichen Mehraufwand bei der Entwicklung einer einzelnen Analyse und verzerrt nicht deren Aussagen. Wir entwerfen diese Plattform und demonstrieren die Transferierbarkeit von Analysen und die reduzierten Entwicklungskosten mit neuen statischen Analysen, darunter einer neuen, automatischen Change-Impact- Analyse und der ersten Metrik zur Qualitätsbeurteilung generischer Bibliotheken. Auf der Plattform kann man auch mit besseren Sprachkonstrukten für den Entwurf generischer Bibliotheken experimentieren.