Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Saarbrücker Informatiker kann das Verhalten von Computerprogrammen exakt beschreiben

04.10.2010
An großen Computerprogrammen arbeiten heute viele Entwickler mit. Dazu zählt auch frei nutzbare Software, die als Open-Source-Produkt im Internet zu finden ist.

Von diesen Programmen wird in der Regel eine detaillierte Beschreibung erstellt, die so genannte Spezifikation. Sie gibt ähnlich wie eine Bedienungsanleitung wieder, wie sich ein Computerprogramm in bestimmten Situationen verhält. Diese eher abstrakte Beschreibung macht den Softwareentwicklern jedoch viel Arbeit.

Der Saarbrücker Informatiker Valentin Dallmeier hat jetzt ein Verfahren entwickelt, das anhand von Softwaretests automatisch eine genaue Programmbeschreibung erstellt.

Der Informatiker hat dafür den Ernst-Denert-Preis 2010 für die bundesweit beste Forschungsarbeit zur Softwareentwicklung erhalten.

Ein Computerprogramm lässt sich mit einem Getränkeautomaten vergleichen. Dieser gibt Flaschen aus, kann Geld wechseln und wird öfters mal mit neuen Getränken befüllt. Es passiert also an verschiedenen Stellen immer etwas Neues, häufig zur gleichen Zeit, und die einzelnen Aktionen wirken sich aufeinander aus. Wenn man diese Vorgänge in einer Bedienungsanleitung verständlich beschreiben will, kommt man schon bei vielen Einzelschritten an. Noch viel komplizierter ist das bei großen Computerprogrammen, bei denen sich Änderungen an einer Stelle auf ganz viele andere Bereiche auswirken können. Informatiker benutzen daher Verhaltensmodelle, die so genannten „endlichen Automaten“, um den Zustand eines Programms und die vielen fließenden Übergänge exakt zu beschreiben. Diese waren bisher nur aufwändig zu erstellen und nahmen in der Softwareentwicklung viel Zeit in Anspruch.

Valentin Dallmeier von der Universität des Saarlandes kann solche Verhaltensmodelle jetzt automatisch erzeugen und damit eine genaue Beschreibung auch von umfangreichen Computerprogrammen erstellen. Für diese Modelle analysiert Dallmeier die Testläufe, mit denen eine Software vor der Freigabe auf mögliche Fehler hin durchsucht wird. Die vielen Varianten eines Programms, die dabei durch die Eingabe verschiedener Kennzahlen erzeugt werden, geben dem Saarbrücker Informatiker ein genaues Bild von dem Programmverhalten. Er fertigt daraus eine abstrakte Beschreibung der Software, die so präzise ist, dass man damit weitere Fehler finden und Programmteile sogar automatisch reparieren kann. Darüber hinaus dienen die Beschreibungen als Grundlage für die so genannte Verifikation, die sich zu einem wichtigen Qualitätssiegel für Software entwickelt hat. Mit der Verifikation kann man beweisen, dass Computersysteme ihre mathematisch exakten Vorgaben korrekt erfüllen und keine Fehler mehr enthalten.

Hintergrund

Die Ernst Denert-Stiftung für Software-Engineering vergibt jährlich für Deutschland, Österreich und die Schweiz den Software-Engineering-Preis. Er steht unter der Schirmherrschaft der Gesellschaft für Informatik und wird vom Stifterverband für die Deutsche Wissenschaft betreut. Mit einem Preisgeld von 5.000 Euro wird eine hervorragende Arbeit aus dem Gebiet der Methoden, Werkzeuge und Verfahren der Softwareentwicklung betreut. Diese muss anwendbar und praxisorientiert sein. Valentin Dallmeier erhielt den diesjährigen Preis der Ernst-Denert-Stiftung für seine Doktorarbeit zum Thema „Mining and Checking Object Behavior“. Vor ihm haben schon mehrere Informatiker der Universität des Saarlandes diesen Preis erhalten. Hans-Jörg Peter wurde 2006 für seine Diplomarbeit „Controller Program Synthesis for Industrial Machines“ ausgezeichnet, ebenso wie Ralf Hildebrandt im Jahr 2001 für seine Arbeit „Minimierung fehlerverursachender Eingaben“. Valentin Dallmeiers Doktorvater Andreas Zeller, Professor für Softwaretechnik an der Universität des Saarlandes, bekam den Preis der Ernst-Denert-Stiftung im Jahr 1997.

Fragen beantwortet:

Dr. Valentin Dallmeier
Lehrstuhl für Softwaretechnik der Universität des Saarlandes
Tel: 0681 302-64780
E-mail: dallmeier@st.cs.uni-sb.de
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern der Universität des Saarlandes führen, über Rundfunk-ISDN-Codec. Interviewwünsche bitte an die Pressestelle (0681/302-3610) richten.

Friederike Meyer zu Tittingdorf | idw
Weitere Informationen:
http://www.st.cs.uni-saarland.de/~dallmeier/
http://www.uni-saarland.de/pressefotos

Weitere Nachrichten aus der Kategorie Förderungen Preise:

nachricht Heinz Maier-Leibnitz-Preise 2017: DFG und BMBF zeichnen vier Forscherinnen und sechs Forscher aus
23.02.2017 | Deutsche Forschungsgemeinschaft (DFG)

nachricht Eine Milliarde Euro für die Hochschulmedizin
17.02.2017 | Deutsche Hochschulmedizin e.V.

Alle Nachrichten aus der Kategorie: Förderungen Preise >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: „Vernetzte Autonome Systeme“ von acatech und DFKI auf der CeBIT

Auf der IT-Messe CeBIT vom 20. bis 24. März präsentieren acatech – Deutsche Akademie der Technikwissenschaften und das Deutsche Forschungszentrum für Künstliche Intelligenz (DFKI) in Kooperation mit der Deutschen Messe AG vernetzte Autonome Systeme. In Halle 12 am Stand B 63 erwarten die Besucherinnen und Besucher unter anderem Roboter, die Hand in Hand mit Menschen zusammenarbeiten oder die selbstständig gefährliche Umgebungen erkunden.

Auf der IT-Messe CeBIT vom 20. bis 24. März präsentieren acatech – Deutsche Akademie der Technikwissenschaften und das Deutsche Forschungszentrum für...

Im Focus: Kühler Zwerg und die sieben Planeten

Erdgroße Planeten mit gemäßigtem Klima in System mit ungewöhnlich vielen Planeten entdeckt

In einer Entfernung von nur 40 Lichtjahren haben Astronomen ein System aus sieben erdgroßen Planeten entdeckt. Alle Planeten wurden unter Verwendung von boden-...

Im Focus: Mehr Sicherheit für Flugzeuge

Zwei Entwicklungen am Lehrgebiet Rechnerarchitektur der FernUniversität in Hagen können das Fliegen sicherer machen: ein Flugassistenzsystem, das bei einem totalen Triebwerksausfall zum Einsatz kommt, um den Piloten ein sicheres Gleiten zu einem Notlandeplatz zu ermöglichen, und ein Assistenzsystem für Segelflieger, das ihnen das Erreichen größerer Höhen erleichtert. Präsentiert werden sie von Prof. Dr.-Ing. Wolfram Schiffmann auf der Internationalen Fachmesse für Allgemeine Luftfahrt AERO vom 5. bis 8. April in Friedrichshafen.

Zwei Entwicklungen am Lehrgebiet Rechnerarchitektur der FernUniversität in Hagen können das Fliegen sicherer machen: ein Flugassistenzsystem, das bei einem...

Im Focus: HIGH-TOOL unterstützt Verkehrsplanung in Europa

Forschung am Karlsruher Institut für Technologie (KIT) unterstützt die Europäische Kommission bei der Verkehrsplanung: Anhand des neuen Modells HIGH-TOOL lässt sich bewerten, wie verkehrspolitische Maßnahmen langfristig auf Wirtschaft, Gesellschaft und Umwelt wirken. HIGH-TOOL ist ein frei zugängliches Modell mit Modulen für Demografie, Wirtschaft und Ressourcen, Fahrzeugbestand, Nachfrage im Personen- und Güterverkehr sowie Umwelt und Sicherheit. An dem nun erfolgreich abgeschlossenen EU-Projekt unter der Koordination des KIT waren acht Partner aus fünf Ländern beteiligt.

Forschung am Karlsruher Institut für Technologie (KIT) unterstützt die Europäische Kommission bei der Verkehrsplanung: Anhand des neuen Modells HIGH-TOOL lässt...

Im Focus: Zinn in der Photodiode: nächster Schritt zur optischen On-Chip-Datenübertragung

Schon lange suchen Wissenschaftler nach einer geeigneten Lösung, um optische Komponenten auf einem Computerchip zu integrieren. Doch Silizium und Germanium allein – die stoffliche Basis der Chip-Produktion – sind als Lichtquelle kaum geeignet. Jülicher Physiker haben nun gemeinsam mit internationalen Partnern eine Diode vorgestellt, die neben Silizium und Germanium zusätzlich Zinn enthält, um die optischen Eigenschaften zu verbessern. Das Besondere daran: Da alle Elemente der vierten Hauptgruppe angehören, sind sie mit der bestehenden Silizium-Technologie voll kompatibel.

Schon lange suchen Wissenschaftler nach einer geeigneten Lösung, um optische Komponenten auf einem Computerchip zu integrieren. Doch Silizium und Germanium...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

Aufbruch: Forschungsmethoden in einer personalisierten Medizin

24.02.2017 | Veranstaltungen

Österreich erzeugt erstmals Erdgas aus Sonnen- und Windenergie

24.02.2017 | Veranstaltungen

Big Data Centrum Ostbayern-Südböhmen startet Veranstaltungsreihe

23.02.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

Fraunhofer HHI auf dem Mobile World Congress mit VR- und 5G-Technologien

24.02.2017 | Messenachrichten

MWC 2017: 5G-Hauptstadt Berlin

24.02.2017 | Messenachrichten

Auf der molekularen Streckbank

24.02.2017 | Biowissenschaften Chemie