Zeitschriftenartikel
Methoden und Hilfsmittel für die systematische Prüfung komplexer Software
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
1998
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Springer-Verlag
Zusammenfassung
Für einen verläßlichen Einsatz von komplexen Software-Systemen ist einerseits wichtig, daß sie mit technologisch angemessenen Techniken und Methoden aufgabengerecht konstruiert werden. Andererseits ist die Nachweisführung keineswegs trivial, daß das zu liefernde bzw. abzunehmende System den erwünschten Leistungsumfang voll, d.h. in aller erdenklichen Funktionsvielfalt deckt. Der vorliegende Beitrag faßt die einschlägigen Prüftechniken für Software zusammen.Summary Developing complex, dependable software systems requires deployment of appropriate construction techniques and methodes. Moreover, it is considerably difficult to verify the compliance of all properties of the system to be delivered and released with the functional user requirements. The present paper summarizes existing methods for software testing.