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 EU-Projekt: Bilder leistungsstark und energieeffizient verarbeiten
24.01.2017 | Ruhr-Universität Bochum

nachricht „Allen Unkenrufen zum Trotz“ Neues Projekt sorgt für Schutz der Gelbbauchunken in Bayern
24.01.2017 | Bundesamt für Naturschutz

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: Scientists spin artificial silk from whey protein

X-ray study throws light on key process for production

A Swedish-German team of researchers has cleared up a key process for the artificial production of silk. With the help of the intense X-rays from DESY's...

Im Focus: Forscher spinnen künstliche Seide aus Kuhmolke

Ein schwedisch-deutsches Forscherteam hat bei DESY einen zentralen Prozess für die künstliche Produktion von Seide entschlüsselt. Mit Hilfe von intensivem Röntgenlicht konnten die Wissenschaftler beobachten, wie sich kleine Proteinstückchen – sogenannte Fibrillen – zu einem Faden verhaken. Dabei zeigte sich, dass die längsten Proteinfibrillen überraschenderweise als Ausgangsmaterial schlechter geeignet sind als Proteinfibrillen minderer Qualität. Das Team um Dr. Christofer Lendel und Dr. Fredrik Lundell von der Königlich-Technischen Hochschule (KTH) Stockholm stellt seine Ergebnisse in den „Proceedings“ der US-Akademie der Wissenschaften vor.

Seide ist ein begehrtes Material mit vielen erstaunlichen Eigenschaften: Sie ist ultraleicht, belastbarer als manches Metall und kann extrem elastisch sein....

Im Focus: Erstmalig quantenoptischer Sensor im Weltraum getestet – mit einem Lasersystem aus Berlin

An Bord einer Höhenforschungsrakete wurde erstmals im Weltraum eine Wolke ultrakalter Atome erzeugt. Damit gelang der MAIUS-Mission der Nachweis, dass quantenoptische Sensoren auch in rauen Umgebungen wie dem Weltraum eingesetzt werden können – eine Voraussetzung, um fundamentale Fragen der Wissenschaft beantworten zu können und ein Innovationstreiber für alltägliche Anwendungen.

Gemäß dem Einstein’schen Äquivalenzprinzip werden alle Körper, unabhängig von ihren sonstigen Eigenschaften, gleich stark durch die Gravitationskraft...

Im Focus: Quantum optical sensor for the first time tested in space – with a laser system from Berlin

For the first time ever, a cloud of ultra-cold atoms has been successfully created in space on board of a sounding rocket. The MAIUS mission demonstrates that quantum optical sensors can be operated even in harsh environments like space – a prerequi-site for finding answers to the most challenging questions of fundamental physics and an important innovation driver for everyday applications.

According to Albert Einstein's Equivalence Principle, all bodies are accelerated at the same rate by the Earth's gravity, regardless of their properties. This...

Im Focus: Mikrobe des Jahres 2017: Halobacterium salinarum - einzellige Urform des Sehens

Am 24. Januar 1917 stach Heinrich Klebahn mit einer Nadel in den verfärbten Belag eines gesalzenen Seefischs, übertrug ihn auf festen Nährboden – und entdeckte einige Wochen später rote Kolonien eines "Salzbakteriums". Heute heißt es Halobacterium salinarum und ist genau 100 Jahre später Mikrobe des Jahres 2017, gekürt von der Vereinigung für Allgemeine und Angewandte Mikrobiologie (VAAM). Halobacterium salinarum zählt zu den Archaeen, dem Reich von Mikroben, die zwar Bakterien ähneln, aber tatsächlich enger verwandt mit Pflanzen und Tieren sind.

Rot und salzig
Archaeen sind häufig an außergewöhnliche Lebensräume angepasst, beispielsweise heiße Quellen, extrem saure Gewässer oder – wie H. salinarum – an...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

Neuer Algorithmus in der Künstlichen Intelligenz

24.01.2017 | Veranstaltungen

Gehirn und Immunsystem beim Schlaganfall – Neueste Erkenntnisse zur Interaktion zweier Supersysteme

24.01.2017 | Veranstaltungen

Hybride Eisschutzsysteme – Lösungen für eine sichere und nachhaltige Luftfahrt

23.01.2017 | Veranstaltungen

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

Im Interview mit Harald Holzer, Geschäftsführer der vitaliberty GmbH

24.01.2017 | Unternehmensmeldung

MAIUS-1 – erste Experimente mit ultrakalten Atomen im All

24.01.2017 | Physik Astronomie

European XFEL: Forscher können erste Vorschläge für Experimente einreichen

24.01.2017 | Physik Astronomie