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 Safety first – höchstmöglicher IT-Schutz
06.09.2016 | Rittal GmbH & Co. KG

nachricht Schaltschrank-Standards zum Anfassen
06.09.2016 | Rittal GmbH & Co. KG

Alle Nachrichten aus der Kategorie: Messenachrichten >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

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...

Im Focus: Innovatives Hochleistungsmaterial: Biofasern aus Florfliegenseide

Neuartige Biofasern aus einem Seidenprotein der Florfliege werden am Fraunhofer-Institut für Angewandte Polymerforschung IAP gemeinsam mit der Firma AMSilk GmbH entwickelt. Die Forscher arbeiten daran, das Protein in großen Mengen biotechnologisch herzustellen. Als hochgradig biegesteife Faser soll das Material künftig zum Beispiel in Leichtbaukunststoffen für die Verkehrstechnik eingesetzt werden. Im Bereich Medizintechnik sind beispielsweise biokompatible Seidenbeschichtungen von Implantaten denkbar. Ein erstes Materialmuster präsentiert das Fraunhofer IAP auf der Internationalen Grünen Woche in Berlin vom 20.1. bis 29.1.2017 in Halle 4.2 am Stand 212.

Zum Schutz des Nachwuchses vor bodennahen Fressfeinden lagern Florfliegen ihre Eier auf der Unterseite von Blättern ab – auf der Spitze von stabilen seidenen...

Im Focus: Verkehrsstau im Nichts

Konstanzer Physiker verbuchen neue Erfolge bei der Vermessung des Quanten-Vakuums

An der Universität Konstanz ist ein weiterer bedeutender Schritt hin zu einem völlig neuen experimentellen Zugang zur Quantenphysik gelungen. Das Team um Prof....

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

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

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

23.01.2017 | Veranstaltungen

Mittelstand 4.0 – Mehrwerte durch Digitalisierung: Hintergründe, Beispiele, Lösungen

20.01.2017 | Veranstaltungen

Nachhaltige Wassernutzung in der Landwirtschaft Osteuropas und Zentralasiens

19.01.2017 | Veranstaltungen

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

Wie der Nordatlantik zum Wärmepirat wurde

23.01.2017 | Geowissenschaften

Immunabwehr ohne Kollateralschaden

23.01.2017 | Biowissenschaften Chemie

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

23.01.2017 | Physik Astronomie