Logo des Repositoriums
 
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.

Beschreibung

Belli, Fevzi (1998): Methoden und Hilfsmittel für die systematische Prüfung komplexer Software. Informatik-Spektrum: Vol. 21, No. 6. Berlin Heidelberg: Springer-Verlag. PISSN: 1432-122X. pp. 337-346

Zitierform

DOI

Tags