Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Mit einem von der Natur abgeschauten Rechenverfahren kann Software schneller getestet werden

05.03.2012
Wenn Entwickler eine Software unter Termindruck fertig stellen, wird häufig bei der Qualitätskontrolle, also dem gründlichen Testen, gespart.

Automatische Softwaretests sind zwar möglich, werden aber unter anderem deswegen nicht eingesetzt, weil sie die Programmierer zu oft auf eine falsche Fährte führen. Informatiker der Universität des Saarlandes haben ein Softwaresystem entwickelt, das automatisches Testen ohne Fehlalarme ermöglicht.

Mithilfe eines genetischen Algorithmus simuliert es so lange Benutzereingaben, bis das Programm vollständig überprüft ist. Ihre Ergebnisse stellen die Forscher auf der Cebit (F 34,Halle 26) vor. Die Computermesse findet vom 6. bis 10. März in Hannover statt.

Heutige Computergramme bestehen aus Hunderttausenden von Programmzeilen. Eine einzige fehlerhafte Anweisung darin kann bereits das Programm unbrauchbar machen. Solche Programmierfehler zu finden, ist äußerst zeitaufwendig und damit sehr kostenintensiv. Entwickler behelfen sich damit, dass sie ihren Code in überschaubare Stücke, also einzelne Komponenten, aufteilen und diese separat testen. Diese Tests jedoch so gründlich durchzuführen, dass so viele Fehler wie nur möglich erkannt werden, ist sehr mühsam. Solche Testfälle können zwar schon automatisch generiert werden, doch die Programmierer misstrauen diesen, da sie zu viele Fehlalarme produzieren. Informatiker der Universität des Saarlandes bestätigen dies in einer Studie. Solche Tests beschrieben oft für die jeweilige Komponente einen Fall, der bei einer realen Ausführung des Programms nie auftreten würde, so die Forscher.
„Man kann das mit einem IKEA-Regal vergleichen, das aus vielen einzelnen Teilen besteht. Neben Schrauben und Dübeln gehören Bretter und Böden verschiedener Formate dazu. Richtig zusammengesteckt ergeben diese ein Regal. Bestehende Testwerkzeuge würden diese einzelnen Komponenten unabhängig voneinander analysieren“, erklärt Florian Groß, Doktorand am Lehrstuhl für Softwaretechnik. Eine denkbare Falschmeldung wäre dann zum Beispiel: „Drei vertikal gestapelte Regalböden ergeben einen Systemabsturz”, obwohl Regalböden im fertigen Regal nie vertikal gestapelt werden. Ein echter Fehler hingegen wäre die Variante: „Es fehlt eine Schraube. Die Böden im Regal sind schräg. Bücher rutschen herunter.”

Florian Groß untersuchte zusammen mit Professor Andreas Zeller und Gordon Fraser 181 Testfälle, die das frei erhältliche Werkzeug „Randoop“ für fünf in der Programmiersprache Java geschriebene Programme erzeugt hatte. „Sie alle schlugen Fehlalarm. Den herkömmlichen Entwickler kostet es dann weitaus mehr Aufwand und Nerven, solche falschen Fehler zu entlarven“, so Groß. Die Saarbrücker Informatiker setzen daher darauf, die Testfälle nicht für Komponenten, sondern für Systemschnittstellen wie die grafische Benutzeroberfläche zu generieren. Da der Anwender darüber das Programm bedient, muss dieses unter jeder denkbaren Eingabe fehlerfrei funktionieren. „Das bedeutet im Umkehrschluss, dass jede auf diese Art aufgedeckte Fehlfunktion auch auf einen echten Fehler hindeutet“, erklärt Groß und fügt hinzu, dass sich dieser durch eine geringe Anzahl von Bedienschritten beschreiben lasse, was ihn wiederum leicht nachvollziehbar und leicht wiederholbar mache.

Wie das aussehen könnte, zeigt der Prototyp des Systems, den die Forscher aufgrund ihres Ansatzes „Explorative System Testing“, abgekürzt „Exsyst“, getauft haben. Er präsentiert die Bedienoberfläche des zu testenden Programms und lässt wie von Geisterhand Textfragmente eingeben und Bedienelemente anklicken. Darüber zeigen ein grüner Fortschrittsbalken und eine zweistellige Ziffer an, wieviel Prozent des Programmcodes bereits getestet wurden. Ein genetischer Algorithmus macht dies möglich. „Er funktioniert ähnlich wie die biologische Evolution. Eine Menge von Testfällen wird zufällig erzeugt. Daraus werden diejenigen ausgewählt, die als sinnvoll erscheinen. Das System verändert sie geringfügig und kombiniert sie miteinander, um eine neue Generation von Benutzereingaben zu erzeugen“, erläutert der Informatiker. Diese und folgende Generationen müssen dann ebenfalls Auslese und Rekombination über sich ergehen lassen.

Dabei stellen die Forscher über eine spezielle Optimierungsfunktion sicher, dass ein maximaler Anteil des Programmcodes getestet wird. Aufgedeckte Fehlfunktionen werden an den Entwickler weitergegeben. „Wir erreichen damit eine bessere Codeabdeckung als herkömmliche Methoden zur Testfallgenerierung“, sagt Florian Groß. Dieses Ergebnis habe nicht nur die Saarbrücker Forscher, sondern auch weitere Experten auf diesem Gebiet überrascht. „Aber was noch viel wichtiger ist: Wir reduzieren Informationsüberfluss. Der Entwickler kann sich daher auf die Programmier-Probleme beschränken, die wirklich wichtig sind“, so Groß.

In ihrem bald erscheinenden Fachaufsatz „Exploring Realistic Program Behavior“ deuten sie bereits Erweiterungen von Exsyst an, die Entwickler noch besser bei der Fehlersuche unterstützen können. Momentan arbeiten sie daran Exsyst in das frei verfügbare Testwerkzeug „Evosuite“ zu integrieren.
Weitere Fragen beantworten:

Florian Groß
Lehrstuhl für Softwaretechnik
Universität des Saarlandes
E-Mail: fgross@st.cs.uni-saarland.de
Tel.: 0681 302-70143

Gordon Bolduan
Wissenschaftskommunikation
Exzellenzcluster „Multimodal Computing and Interaction"
Tel: 0681 302-70741
Stand-Telefon Cebit: 0511 89597046
E-Mail: bolduan@mmci.uni-saarland.de

Pressefotos: www.uni-saarland.de/pressefotos
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 | Universität des Saarlandes
Weitere Informationen:
http://www.evosuite.org/EXSYST-Demo.mp4
http://www.st.cs.uni-saarland.de/
http://www.evosuite.org/

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Ein stabiles magnetisches Bit aus drei Atomen
21.09.2017 | Sonderforschungsbereich 668

nachricht Drohnen sehen auch im Dunkeln
20.09.2017 | Universität Zürich

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Im Focus: Hochpräzise Verschaltung in der Hirnrinde

Es ist noch immer weitgehend unbekannt, wie die komplexen neuronalen Netzwerke im Gehirn aufgebaut sind. Insbesondere in der Hirnrinde der Säugetiere, wo Sehen, Denken und Orientierung berechnet werden, sind die Regeln, nach denen die Nervenzellen miteinander verschaltet sind, nur unzureichend erforscht. Wissenschaftler um Moritz Helmstaedter vom Max-Planck-Institut für Hirnforschung in Frankfurt am Main und Helene Schmidt vom Bernstein-Zentrum der Humboldt-Universität in Berlin haben nun in dem Teil der Großhirnrinde, der für die räumliche Orientierung zuständig ist, ein überraschend präzises Verschaltungsmuster der Nervenzellen entdeckt.

Wie die Forscher in Nature berichten (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005), haben die...

Im Focus: Highly precise wiring in the Cerebral Cortex

Our brains house extremely complex neuronal circuits, whose detailed structures are still largely unknown. This is especially true for the so-called cerebral cortex of mammals, where among other things vision, thoughts or spatial orientation are being computed. Here the rules by which nerve cells are connected to each other are only partly understood. A team of scientists around Moritz Helmstaedter at the Frankfiurt Max Planck Institute for Brain Research and Helene Schmidt (Humboldt University in Berlin) have now discovered a surprisingly precise nerve cell connectivity pattern in the part of the cerebral cortex that is responsible for orienting the individual animal or human in space.

The researchers report online in Nature (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005) that synapses in...

Im Focus: Tiny lasers from a gallery of whispers

New technique promises tunable laser devices

Whispering gallery mode (WGM) resonators are used to make tiny micro-lasers, sensors, switches, routers and other devices. These tiny structures rely on a...

Im Focus: Wundermaterial Graphen: Gewölbt wie das Polster eines Chesterfield-Sofas

Graphen besitzt extreme Eigenschaften und ist vielseitig verwendbar. Mit einem Trick lassen sich sogar die Spins im Graphen kontrollieren. Dies gelang einem HZB-Team schon vor einiger Zeit: Die Physiker haben dafür eine Lage Graphen auf einem Nickelsubstrat aufgebracht und Goldatome dazwischen eingeschleust. Im Fachblatt 2D Materials zeigen sie nun, warum dies sich derartig stark auf die Spins auswirkt. Graphen kommt so auch als Material für künftige Informationstechnologien infrage, die auf der Verarbeitung von Spins als Informationseinheiten basieren.

Graphen ist wohl die exotischste Form von Kohlenstoff: Alle Atome sind untereinander nur in der Ebene verbunden und bilden ein Netz mit sechseckigen Maschen,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

11. BusinessForum21-Kongress „Aktives Schadenmanagement"

22.09.2017 | Veranstaltungen

Internationale Konferenz zum Biomining ab Sonntag in Freiberg

22.09.2017 | Veranstaltungen

Die Erde und ihre Bestandteile im Fokus

21.09.2017 | Veranstaltungen

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

11. BusinessForum21-Kongress „Aktives Schadenmanagement"

22.09.2017 | Veranstaltungsnachrichten

DFG bewilligt drei neue Forschergruppen und eine neue Klinische Forschergruppe

22.09.2017 | Förderungen Preise

Lebendiges Gewebe aus dem Drucker

22.09.2017 | Biowissenschaften Chemie