Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Cebit 2010: Forscher tricksen Software-Tests aus

10.02.2010
Bevor große Computerprogramme in den Handel kommen, werden sie auf Herz und Nieren überprüft. Doch wer garantiert, dass die Softwaretests auch wirklich alle Fehler finden?

Forscher der Universität des Saarlandes haben ein Prüfverfahren entwickelt, bei dem automatisch Fehler in ein Programm gestreut werden. Damit werden die üblichen Software-Tests der Hersteller ausgetrickst.

Finden diese dann die Veränderungen nicht, ist das ein Zeichen dafür, dass sie auch echte Fehler im Programm verpassen würden. Mit dem so genannten Javalanche-System, das frei im Internet zugänglich ist, kann jeder selbst große Java-Programme überprüfen.

Das Forscherteam um Andreas Zeller, Professor für Softwaretechnik der Universität des Saarlandes, wird das System auf der Cebit 2010 in Hannover vom 2. bis 6. März am saarländischen Forschungsstand (Halle 9, Stand B 43) vorstellen.

Seine Aufgabe ist es, Programme möglichst kunstvoll zum Absturz zu bringen. Jedoch so, dass es keiner merkt: David Schuler, Doktorand an der Universität des Saarlandes, forscht an künstlichen Programm-Fehlern. "Unser Werkzeug erzeugt den ganzen Tag Fehler, wie auch Programmierer sie machen und prüft dann, ob sie vom Test gefunden werden", erläutert Schuler. Eigentlich sollte ein guter Programm-Test alle Fehler aufspüren. "Findet er aber die künstlichen Fehler nicht, wird er auch die echten, noch vorhandenen Fehler verpassen", sagt Professor Andreas Zeller, der Leiter des Projektes. Dann müsse der Test auf jeden Fall nachgebessert werden.

Den hohen Wirkungsgrad erreichen die Saarbrücker Forscher, indem sie messen, wie stark die Veränderung ist, die durch die eingestreuten Fehler ausgelöst wird. "Je größer die Veränderung, umso bedeutender ist sie für die Prüfung", erläutert Zeller. Viele eingestreute Fehler zeigten jedoch keine Wirkung und mussten bisher mühsam von Hand herausgesucht werden, weil sie von Softwaretests nicht gefunden werden konnten. Das Javalanche-Verfahren hingegen entdeckt die Veränderungen, auch Mutationen genannt, ganz automatisch. Bereits vor 30 Jahren wurden Mutationstests erfunden. Bisher waren sie aber auf äußerst kleine Programme von hundert Zeilen und weniger beschränkt. "Unser Javalanche-System prüft Programme, die tausendmal so groß sind wie die bisherigen, bis hin zu großen kommerziellen Java-Programmen", unterstreicht Professor Zeller.

In Zukunft wollen die Saarbrücker Forscher künstliche Fehler regelrecht züchten. "Wir wollen aus wirkungsvollen Mutationen neue Generationen ableiten, die die Wirkung weiter steigern", nennt Zeller das Ziel. Am Ende stehen "Super-Mutanten", die "alles im Programm durcheinander bringen, aber vom Test nicht gefunden werden und so automatisch die größten Schwachstellen beim Testen aufdecken."

Am Dienstag, 2. März steht Prof. Andreas Zeller am Forschungsstand des Saarlandes (Halle 9, Stand B 43) für Interviews zur Verfügung. An allen anderen Messetagen erläutern seine Mitarbeiter interessierten Journalisten das Javalanche-System.

Fragen beantworten Ihnen:

Prof. Dr. Andreas Zeller
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681 / 302-64011
E-Mail: zeller@cs.uni-sb.de
David Schuler
Lehrstuhl für Softwaretechnik, Universität des Saarlandes
Tel.: 0681 / 302- 64026
E-Mail: schuler@st.cs.uni-sb.de
Friederike Meyer zu Tittingdorf
Tel. 0681 / 302-3610
Tel. 0511 / 89 49 70 37 (Cebit-Messetelefon)
Mobil 0151 / 11 37 16 32
Hinweis für Hörfunk-Journalisten: Sie können Telefoninterviews in Studioqualität mit Wissenschaftlern und Studenten 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

Weitere Nachrichten aus der Kategorie CeBIT 2010:

nachricht Neue Freiheit für IT-Leiter - Die todo GmbH bringt flexIT 2010 heraus
24.03.2010 | todo GmbH

nachricht Neue Version der SAP-Lösung von Kaba noch anwenderfreundlicher
24.03.2010 | Kaba GmbH

Alle Nachrichten aus der Kategorie: CeBIT 2010 >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Starke IT-Sicherheit für das Auto der Zukunft – Forschungsverbund entwickelt neue Ansätze

Je mehr die Elektronik Autos lenkt, beschleunigt und bremst, desto wichtiger wird der Schutz vor Cyber-Angriffen. Deshalb erarbeiten 15 Partner aus Industrie und Wissenschaft in den kommenden drei Jahren neue Ansätze für die IT-Sicherheit im selbstfahrenden Auto. Das Verbundvorhaben unter dem Namen „Security For Connected, Autonomous Cars (SecForCARs) wird durch das Bundesministerium für Bildung und Forschung mit 7,2 Millionen Euro gefördert. Infineon leitet das Projekt.

Bereits heute bieten Fahrzeuge vielfältige Kommunikationsschnittstellen und immer mehr automatisierte Fahrfunktionen, wie beispielsweise Abstands- und...

Im Focus: Powerful IT security for the car of the future – research alliance develops new approaches

The more electronics steer, accelerate and brake cars, the more important it is to protect them against cyber-attacks. That is why 15 partners from industry and academia will work together over the next three years on new approaches to IT security in self-driving cars. The joint project goes by the name Security For Connected, Autonomous Cars (SecForCARs) and has funding of €7.2 million from the German Federal Ministry of Education and Research. Infineon is leading the project.

Vehicles already offer diverse communication interfaces and more and more automated functions, such as distance and lane-keeping assist systems. At the same...

Im Focus: Mit Hilfe molekularer Schalter lassen sich künftig neuartige Bauelemente entwickeln

Einem Forscherteam unter Führung von Physikern der Technischen Universität München (TUM) ist es gelungen, spezielle Moleküle mit einer angelegten Spannung zwischen zwei strukturell unterschiedlichen Zuständen hin und her zu schalten. Derartige Nano-Schalter könnten Basis für neuartige Bauelemente sein, die auf Silizium basierende Komponenten durch organische Moleküle ersetzen.

Die Entwicklung neuer elektronischer Technologien fordert eine ständige Verkleinerung funktioneller Komponenten. Physikern der TU München ist es im Rahmen...

Im Focus: Molecular switch will facilitate the development of pioneering electro-optical devices

A research team led by physicists at the Technical University of Munich (TUM) has developed molecular nanoswitches that can be toggled between two structurally different states using an applied voltage. They can serve as the basis for a pioneering class of devices that could replace silicon-based components with organic molecules.

The development of new electronic technologies drives the incessant reduction of functional component sizes. In the context of an international collaborative...

Im Focus: GRACE Follow-On erfolgreich gestartet: Das Satelliten-Tandem dokumentiert den globalen Wandel

Die Satellitenmission GRACE-FO ist gestartet. Am 22. Mai um 21.47 Uhr (MESZ) hoben die beiden Satelliten des GFZ und der NASA an Bord einer Falcon-9-Rakete von der Vandenberg Air Force Base (Kalifornien) ab und wurden in eine polare Umlaufbahn gebracht. Dort nehmen sie in den kommenden Monaten ihre endgültige Position ein. Die NASA meldete 30 Minuten später, dass der Kontakt zu den Satelliten in ihrem Zielorbit erfolgreich hergestellt wurde. GRACE Follow-On wird das Erdschwerefeld und dessen räumliche und zeitliche Variationen sehr genau vermessen. Sie ermöglicht damit präzise Aussagen zum globalen Wandel, insbesondere zu Änderungen im Wasserhaushalt, etwa dem Verlust von Eismassen.

Potsdam, 22. Mai 2018: Die deutsch-amerikanische Satellitenmission GRACE-FO (Gravity Recovery And Climate Experiment Follow On) ist erfolgreich gestartet. Am...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Im Fokus: Klimaangepasste Pflanzen

25.05.2018 | Veranstaltungen

Größter Astronomie-Kongress kommt nach Wien

24.05.2018 | Veranstaltungen

22. Business Forum Qualität: Vom Smart Device bis zum Digital Twin

22.05.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Berufsausbildung mit Zukunft

25.05.2018 | Unternehmensmeldung

Untersuchung der Zellmembran: Forscher entwickeln Stoff, der wichtigen Membranbestandteil nachahmt

25.05.2018 | Interdisziplinäre Forschung

Starke IT-Sicherheit für das Auto der Zukunft – Forschungsverbund entwickelt neue Ansätze

25.05.2018 | Informationstechnologie

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics