Belli, Fevzi2018-01-052018-01-0519981998https://dl.gi.de/handle/20.500.12116/10466  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.Computing Classification System  D.2.5D.2.4D.2.8D.2.9durchsichtsorientierte PrüfverfahrenK.6.3K.7.3  Validation/VerificationReviews/Inspections/Walkthroughs  Validation/VerifikationSystematic testingsystematisches TestenTest toolsTestwerkzeugeText/Journal Article1432-122X