Informatischen Kolloquium Hamburg
Montag, 30. November 2009
um 17 Uhr c.t.
Vogt-Kölln-Str. 30
Konrad-Zuse-Hörsaal
Gebäude B
Prof. Dr. Rainer Koschke
Arbeitsgruppe Softwaretechnik
TZI/Universität Bremen
http://www.informatik.uni-bremen.de/~koschke/
* Statische Programmanalysen für die Qualitätssicherung *
Die Qualitätssicherung von Programmen wird heute zumeist manuell durch
Reviews oder automatisiert durch Tests unterstützt. Manuelle Reviews
sind abhängig von menschlichen Gutachtern, teuer und damit nicht
beliebig wiederholbar. Tests können nur die Anwesenheit von Fehlern
aufzeigen, aber nicht ihre Abwesenheit. Zudem prüfen Tests nur das
Verhalten und sagen nichts über die innere Qualität der Software aus.
Statische Programmanalysen überprüfen Programme nur anhand der
Programmbeschreibung (Quelltext und andere formale
Systemspezifikationen), ohne sie auszuführen. In den letzten Jahren
werden statische Analysen immer populärer in der Praxis. Dabei ist die
statische Programmanalyse ein Überbegriff für sehr unterschiedliche
Analysen. Einige statische Analysen suchen nach typischen
Programmierfehlern, wie die Dereferenzierung von Null-Zeigern. Andere
suchen nach potentiellen Sicherheitsproblemen, wie potenielle
Pufferüberläufe. Mit statischen Analysen kann aber auch die innere
Qualität untersucht werden, wie zum Beispiel die Einhaltung von
Codierrichtlinien, die Abwesenheit von Programmieranomalien (auch "Bad
Smells" genannt) oder die Einhaltung einer Architekturspezifikation.
In seinem Vortrag stellt Rainer Koschke die Ergebnisse seiner langjährigen
Forschung und Praxis zur statischen Programmanalyse vor, bei der die Bestimmung
der inneren Qualität im Vordergrund steht.
Vita:
Rainer Koschke ist Professor für Softwaretechnik an der Universität
Bremen und leitet dort die Arbeitsgruppe Softwaretechnik. Er
beschäftigt sich seit mehr als zehn Jahren in seiner Forschung mit
statischen Programmanalysen für die Wartung und Weiterentwicklung von
Software. Im Projekt Bauhaus, einem Kooperationsprojekt der
Universitäten Bremen und Stuttgart sowie dem Spin-Off Axivion GmbH,
forscht er an der Entwicklung praxistauglicher Werkzeuge zur Analyse
von Programmen. Rainer Koschke ist Chair des IEEE TCSE Committee on
Reverse Engineering, und im Lenkungskomitees der Konferenzen Embedded
Software Engineering, IEEE International Conference on Software
Maintenance, IEEE Working Conference on Reverse Engineering und ACM
Symposium on Software Visualization und Autor vieler
wissenschaftlicher Publikationen in diesem Bereich.
Kontakt: Dr. Carola Lilienthal
lilienth@informatik.uni-hamburg.de, Tel. 42883-2415
Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/
_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler