Prüfen von eingebetteter Software

Viele technische Systeme – z. B. in der Medizintechnik, der Verkehrstechnik und der Automatisierungstechnik – sind ohne Software undenkbar /Liggesmeyer, Rombach 05/. In der Regel fordert man für derartige Systeme eine hohe Zuverlässigkeit und Verfügbarkeit. Darüber hinaus können Systeme Gefährdungen verursachen. Diese führen zu Sicherheitsanforderungen, die bei einigen Systemen Zulassungen durch unabhängige Prüfstellen erfordern. Für kritische Anwendungsbereiche werden häufig quantifizierte Aussagen zu Qualitätsmerkmalen gefordert. Für Hardware ist das durchaus üblich; für Software nicht. Im Folgenden werden Verfahren für die Prüfung eingebetteter Software beschrieben. Neben dynamischen Testtechniken besitzen Sicherheits- und Zuverlässigkeitsmodelle und statistische Analysetechniken eine hohe Bedeutung. Diese Techniken dienen zur systematischen quantitativen Bewertung der Qualitätseigenschaften Sicherheit, Zuverlässigkeit und Verfügbarkeit.