Logo des Repositoriums
 

Methoden und Hilfsmittel für die systematische Prüfung komplexer Software

Kurzanzeige
dc.contributor.authorBelli, Fevzi
dc.date.accessioned2018-01-05T20:06:48Z
dc.date.available2018-01-05T20:06:48Z
dc.date.issued1998
dc.description.abstract  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.
dc.identifier.pissn1432-122X
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/10466
dc.publisherSpringer-Verlag
dc.relation.ispartofInformatik-Spektrum: Vol. 21, No. 6
dc.relation.ispartofseriesInformatik-Spektrum
dc.subjectComputing Classification System  D.2.5
dc.subjectD.2.4
dc.subjectD.2.8
dc.subjectD.2.9
dc.subjectdurchsichtsorientierte Prüfverfahren
dc.subjectK.6.3
dc.subjectK.7.3
dc.subject  Validation/Verification
dc.subjectReviews/Inspections/Walkthroughs
dc.subject  Validation/Verifikation
dc.subjectSystematic testing
dc.subjectsystematisches Testen
dc.subjectTest tools
dc.subjectTestwerkzeuge
dc.titleMethoden und Hilfsmittel für die systematische Prüfung komplexer Software
dc.typeText/Journal Article
gi.citation.endPage346
gi.citation.publisherPlaceBerlin Heidelberg
gi.citation.startPage337

Dateien

Sammlungen

Band 21 - Heft 6 (Dezember 1998)