Programm
| 08:45 | Begrüßung und Einleitung |
| 09:00 | Stefan Staiger (Universität Stuttgart): Statische Analyse von graphischen Oberflächen abstract |
| Dieser Beitrag beschreibt eine neue statische Analyse von Programmen mit graphischer Oberfläche (GUI). Die Analyse aus dem Bauhaus-Projekt extrahiert aus dem Quellcode die Widget-Hierarchien der GUI, GUI-Ereignisse und deren Reaktionen. Einige Anwendungen, beispielsweise eine Migration zu einem GUI-Builder, werden kurz vorgestellt. Testresultate untermauern die Tragfähigkeit unseres Ansatzes. | |
| 09:30 | Marcel Bennicke, Frank Steinbrückner, Mathias
Radicke (BTU Cottbus) und Jan-Peter Richter (sd&m Research): Das sd&m Software-Cockpit: Architektur und Erfahrungen abstract |
| Werkzeuge zur automatischen Kontrolle der Softwarequalität analysieren die erstellte Codebasis bezüglich verschiedener Qualitätskriterien. Ein darauf aufbauender Leitstand vermag jederzeit eine individuell konfigurierbare Sicht auf den Qualitätszustand eines Software-Projekts bereitzustellen. Der Beitrag stellt dar, welchen Zusatznutzen eine solche Integrationsumgebung im Vergleich zum Einzeleinsatz bestehender Analysewerkzeuge generieren kann. | |
| 10:00 |
Alexander Schmidt und Michael Schöbel (Universität Potsdam): Analyzing System Behavior: How the Operating System Can Help abstract |
| [...] In this paper, we present the Windows Monitoring Kernel (WMK), a custom-built version of the latest Windows 2003 Server operating system that includes a fine-grained logging infrastructure for arbitrary operating system (OS) kernel events. These events are suitable for monitoring a system's behavior at runtime. The WMK infrastructure is complemented by a reporting tool that visualizes these events and displays their dependencies with respect to some aspects. Furthermore, the WMK provides the possibility to use these events for understanding application behavior running in the Windows operating system. | |
| 10:30 | Kaffeepause |
| 11:00 | Gunther Vogel (Universität Stuttgart): Transformation und Vergleich von endlichen Automaten zur Analyse von Software-Protokollen abstract |
| Der Artikel beschreibt, wie endliche Automaten für Software-Protokolle aus dem Quelltext gewonnen und durch Transformationen für die Weiterverarbeitung und den Vergleich aufbereitet werden können. Die beschriebenen Techniken werden zur Prüfung von Protokollen oder zur Herleitung von Protokollspezifikationen eingesetzt. Messergebnisse zeigen die Praktikabilität des Verfahrens. | |
| 11:30 | Klaus Wissing (PolySpace Technologies GmbH): Static Analysis of Dynamic Properties - Automatic Program Verification to Prove the Absence of Dynamic Runtime Errors abstract |
| This paper introduces formal verification techniques applied by PolySpace Verifier as a static approach to measure dynamic software quality attributes. It is proving the correctness of atomic operations in the source code in regards to run-time errors. PolySpace is unique in assessing dynamic properties with a static analysis of the source code. The document outlines the use of the results during maintenance, re-engineering and also development of software. It also gives a short tool description and an overview about used methods and techniques, supported programming languages and requirements. | |
| 12:00 |
Jan Peleska, Helge Löding (Universität Bremen) und Tatiana Kotas (Verified Systems International GmbH): Test Automation Meets Static Analysis abstract |
| In this article, we advocate an integrated approach for the automation of module or software integration testing and static analysis. It is illustrated how fundamental methods of static analysis, in particular abstract interpretation by interval analysis, contribute to the solution of problems typically encountered in the field of automated test case/test data generation. Conversely, test data generation algorithms are useful to improve results obtained in static analyses: Potential errors identified in the unit under test (UUT) during an analysis can be confirmed by constructing concrete test data leading to the erroneous UUT state. False alarms resulting from over-approximating abstractions applied during the analyses can be uncovered using test automation algorithms disproving the reachability of associated code portions and program states. | |
| 12:30 | Mittagspause |
| Tooldemos: | |
| 14:00 | Carola Lilienthal (Universität
Hamburg): Sotoarc, das neue Werkzeug zur Architekturprüfung |
| 14:25 | Eduard Wiebe, Steffen Keul, Stefan Staiger, Gunther Vogel
(Universität Stuttgart): Bauhaus Tool-Suite |
| 14:50 | Benjamin Storz, Rainer Gimnich (IBM Deutschland GmbH): Websphere Developer for System z, Asset Transformation Workbench Analyzer for Eclipse, WebSphere Studio Asset Analyzer |
| 15:15 | Jan Peleska, Christof Efkemann, Helge Löding, M. Oliver
Möller (Universität Bremen): Test Automation and Static Analysis with RT-Tester |
| 15:40 | Kai Preuss, Rainer Gimnich (IBM Deutschland GmbH): Tivoli Application Dependency Discovery Manager |
| 16:05 | offizielles Ende des Workshops; Gelegenheit für weitere Tooldemos, Diskussionen, Networking |