Softwarequalität eingebetteter Systeme

6.5 Zusammenfassung

Eingebettete Systeme dringen in alle Lebensbereiche ein und übernehmen dort für den Menschen teilweise oder vollständig auch sicherheitskritische Aufgaben. Da eingebettete Systeme meist komplexe Steuerungsaufgaben in einer technischen Umgebung übernehmen, deren Defekt oder inkorrekte Funktionsweise zu ernsthaften Auswirkungen auf menschliches Leben haben kann, ist die Sicherung einer hohen Qualität dieser Systeme Pflicht.

Eine mangelhafte Softwarequalität solcher Systeme kann in einigen Anwendungsbereichen signifikante Gefährdungen hervorrufen. Beispiele hierfür wurden diskutiert. Die wesentlichen Begriffe der Softwarequalität haben wir definiert. Hierbei haben wir vor allem die beiden Begriffe der Zuverlässigkeit sowie der Sicherheit diskutiert und festgestellt, dass sich beide nicht ausschließen, aber auch nicht synonym betrachtet werden können. Obwohl die Sicherheit hier der umfassendere Begriff ist, gibt es zuverlässige Systeme, die nicht sicher sind und umgekehrt.

Um eine möglichst hohe Softwarequalität garantieren zu können sind verschiedenste sowohl konstruktive als auch analytische Verfahren bekannt, wobei wir hier im Wesentlichen drei unterschiedliche Ansätze aus dem Bereich der letztgenannten skizziert haben.

Das lebenslange Lernen ist aber insbesondere im Bereich der Informationstechnologie unverzichtbar. Um im Weiterbildungsbereich für dieses Thema für bessere Vergleichbarkeit der Kursanbieter untereinander und für einen anerkannten Nachweis zu sorgen, ist in England das Information Systems Examinations Board (ISEB, vgl. www.iseb.org.uk) ins Leben gerufen worden, das unter anderem auch im Bereich des Softwaretestens tätig ist. Die Aktivitäten der ISEB wurden auch von anderen Ländern aufgegriffen und vergleichbare Initiationen gestartet. In Deutschland zeichnet vor allem die ASQF (vgl. www.asqf.de) und die Fachgruppe TAV (Test, Analyse und Verifikation von Software) der Gesellschaft für Informatik e. V. (kurz: GI) für dieses Thema verantwortlich (Spillner und Linz, 2003).