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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2009 Spektrum Akademischer Verlag Heidelberg
About this chapter
Cite this chapter
Liggesmeyer, P. (2009). Prüfen von eingebetteter Software. In: Software-Qualität. Spektrum Akademischer Verlag. https://doi.org/10.1007/978-3-8274-2203-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-8274-2203-3_14
Publisher Name: Spektrum Akademischer Verlag
Print ISBN: 978-3-8274-2056-5
Online ISBN: 978-3-8274-2203-3
eBook Packages: Computer Science and Engineering (German Language)