Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Softwarequalitätssicherung durch automatischen Test

28.02.2003


Fraunhofer FIRST präsentiert auf der CeBIT 2003 ein System zur automatischen Testfallgenerierung für die Softwareproduktion: Halle 11, Stand A 24, Exponat VS 07



Blau blinkt der Bildschirm: "Der schwere Ausnahmefehler XY ist an Stelle Z aufgetreten." Wer kennt dieses Problem nicht? Kaum etwas ärgert Kunden so sehr wie Software mit Funktionsmängeln, die durch Programmier- oder Spezifikationsfehler entstanden sind. Um ihr reibungsloses Funktionieren sicher zu stellen, muss die neu entwickelte Software umfangreiche Tests durchlaufen, bevor sie implementiert und vermarktet werden kann. Da Software viele Anforderungen (Spezifikationen) erfüllen muss, ist hierzu eine große Menge an passenden Testfällen notwendig.



Die gegenwärtige industrielle Praxis des Testens von Software ist manuell, ad hoc und somit unsystematisch. Softwarefehler werden daher oft spät entdeckt und die Korrektur dieser Fehler ist sehr kostspielig. Die Lösung für dieses Problem bietet QUASAR, ein neuartiges System zur automatischen Generierung von Testfällen und Durchführung von Tests, das vom Fraunhofer-Institut für Rechnerarchitektur und Softwaretechnik FIRST in Berlin entwickelt wurde.

Methodik

Der Testprozess basiert auf Statechart-Spezifikationen, die den formalen Anteil von Anforderungsspezifikationen bilden. Statecharts sind grafische Spezifikationssprachen, mit denen das reaktive Verhalten von Systemen definiert werden kann. Sie sind insbesondere zur Spezifikation von eingebetteten Systemen geeignet (z. B. von Softwarecontrollern in Automobilen), da das reaktive Ver-halten der wichtigste Aspekt in solchen Systemen ist.

Normalerweise kann die Ableitung von Testfällen jedoch nicht direkt auf einer solchen Anforderungsspezifikation basieren. Erstens enthält eine Anforderungsspezifikation in den meisten Fällen nicht alle relevanten Informationen, die für ein bestimmtes Testziel benötigt werden; sie muss folglich entsprechend angereichert werden. Zweitens umfasst sie normalerweise Details, die für ein bestimmtes Testziel nicht relevant sind. Um eine effiziente Ableitung von Testfällen zu ermöglichen, müssen die relevanten Informationen deshalb extrahiert werden. Eine Anforderungsspezifikation wird also hinsichtlich derjenigen Aspekte bearbeitet, auf die das betrachtete Testziel ausgerichtet ist, z.B. Sicherheit, Leistung oder - wie in QUASAR - funktionale Aspekte. Für einen bestimmten Aspekt relevante Informationen werden innerhalb von Systemblöcken organisiert, die testorientierte funktionale oder konzeptuelle Blöcke darstellen. Die Generierung von Testfällen aus Systemblöcken ist ein zweistufiger Prozess. Im ersten Schritt werden Systemblöcke in Testspezifikationen transformiert, die in Form von Statecharts ausgedrückt werden. Im zweiten Schritt werden Testfälle aus der Testspezifikation erzeugt.

Testfallgenerierung

Zur Automatisierung des zweiten Schritts wurde in QUASAR ein formaler Ansatz entwickelt, der Testfälle aus objektorientierten Statecharts generiert, wie sie in der Unified Modeling Language (UML) verwendet und durch Entwicklungswerkzeuge wie I-Logix Rhapsody unterstützt werden. Die Eingabe in das Werkzeug ist ein einzelnes Statechart. Das Werkzeug erzeugt eine Menge von Testfällen, die wieder in Form von Statecharts ausgedrückt sind. Sie werden benutzt, um Stimuli für das zu testende System zu erzeugen und seine beobachteten Reaktionen zu beurteilen. Ein wesentlicher Beitrag der Arbeiten ist die Konkretisierung der wagen (losen) UML-Semantik objektorientierter Statecharts.

Weitere Informationen:

Prof. Dr. Holger Schlingloff
Telefon 030 - 6392-1907, Fax -18 05
E-mail: holger.schlingloff@first.fraunhofer.de

Dr. Johannes Ehrlenspiel | idw
Weitere Informationen:
http://www.first.fraunhofer.de/svt

Weitere Berichte zu: Anforderungsspezifikation QUASAR Statechart

Weitere Nachrichten aus der Kategorie Messenachrichten:

nachricht ZUKUNFT PERSONAL EUROPE: WORK:OLUTION - SUCCEED IN PERMANT BETA
16.07.2018 | GFOS mbH

nachricht Roboter zeichnet Skizzen von Messebesuchern
22.06.2018 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI

Alle Nachrichten aus der Kategorie: Messenachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: Superscharfe Bilder von der neuen Adaptiven Optik des VLT

Das Very Large Telescope (VLT) der ESO hat das erste Licht mit einem neuen Modus Adaptiver Optik erreicht, die als Lasertomografie bezeichnet wird – und hat in diesem Rahmen bemerkenswert scharfe Testbilder vom Planeten Neptun, von Sternhaufen und anderen Objekten aufgenommen. Das bahnbrechende MUSE-Instrument kann ab sofort im sogenannten Narrow-Field-Modus mit dem adaptiven Optikmodul GALACSI diese neue Technik nutzen, um Turbulenzen in verschiedenen Höhen in der Erdatmosphäre zu korrigieren. Damit ist jetzt möglich, Bilder vom Erdboden im sichtbaren Licht aufzunehmen, die schärfer sind als die des NASA/ESA Hubble-Weltraumteleskops. Die Kombination aus exquisiter Bildschärfe und den spektroskopischen Fähigkeiten von MUSE wird es den Astronomen ermöglichen, die Eigenschaften astronomischer Objekte viel detaillierter als bisher zu untersuchen.

Das MUSE-Instrument (kurz für Multi Unit Spectroscopic Explorer) am Very Large Telescope (VLT) der ESO arbeitet mit einer adaptiven Optikeinheit namens GALACSI. Dabei kommt auch die Laser Guide Stars Facility, kurz ...

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Im Focus: Was passiert, wenn wir das Atomgitter eines Magneten plötzlich aufheizen?

„Wir haben jetzt ein klares Bild davon, wie das heiße Atomgitter und die kalten magnetischen Spins eines ferrimagnetischen Nichtleiters miteinander ins Gleichgewicht gelangen“, sagt Ilie Radu, Wissenschaftler am Max-Born-Institut in Berlin. Das internationale Forscherteam fand heraus, dass eine Energieübertragung sehr schnell stattfindet und zu einem neuartigen Zustand der Materie führt, in dem die Spins zwar heiß sind, aber noch nicht ihr gesamtes magnetisches Moment verringert haben. Dieser „Spinüberdruck“ wird durch wesentlich langsamere Prozesse abgebaut, die eine Abgabe von Drehimpuls an das Gitter ermöglichen. Die Forschungsergebnisse sind jetzt in "Science Advances" erschienen.

Magnete faszinieren die Menschheit bereits seit mehreren tausend Jahren und sind im Zeitalter der digitalen Datenspeicherung von großer praktischer Bedeutung....

Im Focus: Erste Beweise für Quelle extragalaktischer Teilchen

Zum ersten Mal ist es gelungen, die kosmische Herkunft höchstenergetischer Neutrinos zu bestimmen. Eine Forschungsgruppe um IceCube-Wissenschaftlerin Elisa Resconi, Sprecherin des Sonderforschungsbereichs SFB1258 an der Technischen Universität München (TUM), liefert ein wichtiges Indiz in der Beweiskette, dass die vom Neutrino-Teleskop IceCube am Südpol detektierten Teilchen mit hoher Wahrscheinlichkeit von einer Galaxie in vier Milliarden Lichtjahren Entfernung stammen.

Um andere Ursprünge mit Gewissheit auszuschließen, untersuchte das Team um die Neutrino-Physikerin Elisa Resconi von der TU München und den Astronom und...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Stadtklima verbessern, Energiemix optimieren, sauberes Trinkwasser bereitstellen

19.07.2018 | Veranstaltungen

Innovation – the name of the game

18.07.2018 | Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

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

Europaweit erste Patientin mit neuem Hybridgerät zur Strahlentherapie behandelt

19.07.2018 | Medizintechnik

Waldrand oder mittendrin: Das Erbgut von Mausmakis unterscheidet sich je nach Lebensraum

19.07.2018 | Biowissenschaften Chemie

Automatisiertes Befüllen von Regalen im Einzelhandel

19.07.2018 | Verkehr Logistik

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