MENÜ MENÜ  

cover

Modellbasierte Testfallermittlung für eingebettete Systeme in sicherheitskritischen Anwendungen

Heiko Lötzbeyer

ISBN 978-3-8325-0339-0
246 Seiten, Erscheinungsjahr: 2003
Preis: 40.50 €
In sicherheitskritischen Anwendungen wie Flugzeug- und Automobilsteuerungen werden höchste Anforderungen an die Zuverlässigkeit der eingesetzten Steuerungssysteme gestellt. Da die Komplexität der Software in diesen Systemen ständig steigt, wird es immer schwieriger, die geforderte Zuverlässigkeit zu erreichen.

Der systematische Softwaretest ist eine praktikable Möglichkeit, um Fehler in der Funktionsweise der Software zu erkennen und weitgehend auszuschließen. Entscheidend für den Erfolg der Prüfung ist die sinnvolle Zusammenstellung der Testfälle. Diese müssen die Funktionalität der Software möglichst umfassend abdecken. Gleichzeitig darf die Anzahl der Testfälle nicht zu groß werden, da sonst der Test nicht in angemessener Zeit durchgeführt werden kann. Die Ermittlung aussagekräftiger Testfälle stellt daher ein zentrales, aber gleichzeitig äußerst schwieriges Problem dar.

Das Erstellen von Systemmodellen in einer geeigneten Spezifikationssprache, wie UML-RT oder AutoFocus, bringt entscheidende Vorteile bei der Entwicklung der Software und bei der Ermittlung der relevanten Testfälle. In dieser Arbeit werden objektive Kriterien zur Bewertung von Testsuiten definiert und Methoden zur Erstellung aussagekräftiger Testfälle vorgestellt. Dabei werden die Verfahren anhand der Spezifikationssprache AutoFocus konkretisiert und Strategien zur praktischen Realisierung der automatisierten Testfallermittlung vorgestellt.

Keywords:
  • modellbasierte Software-Entwicklung
  • Software-Qualitätssicherung
  • Test
  • eingebettete Systeme
  • AutoFOCUS

KAUFOPTIONEN

40.50 €
Nur noch 3 Ex. auf Lager
Versandkostenfrei innerhalb Deutschlands


Wollen auch Sie Ihre Dissertation veröffentlichen?

cover cover cover cover cover cover cover cover cover