Kontrollflussorientierter, strukturorientierter Test

In diesem Kapitel werden dynamische Testtechniken beschrieben, welche die Vollständigkeit des Tests anhand der Abdeckung des Software-Quellcodes beurteilen. Daher bezeichnet man sie als strukturorientierte Testtechniken. Die beschriebenen Techniken basieren auf der Kontrollstruktur bzw. auf dem Kontrollfluss der zu testenden Software. Aus diesem Grund spricht man von kontrollflussorientierten, strukturorientierten Testtechniken. Diese Gruppe von Testtechniken besitzt eine hohe praktische Bedeutung. Das gilt insbesondere für ihren Einsatz im Modultest, das so genannte „Testen im Kleinen“. Die Gruppe der kontrollflussorientierten Testtechniken wird von Testwerkzeuganbietern gut unterstützt. Darüber hinaus gibt es im Bereich des kontrollflussorientierten Tests akzeptierte Minimalkriterien, die im Sinne eines adäquaten Tests beachtet werden sollten. Ein als minimal, d. h. notwendig akzeptiertes Testverfahren ist der so genannte Zweigüberdeckungstest. In besonders kritischen Anwendungsbereichen verlangen einschlägige Standards weitergehende Prüfungen. Ein Standard für Software-Anwendungen in der Avionik fordert z. B. einen so genannten Bedingungsüberdeckungstest. Bestimmte kontrollflussorientierte Testtechniken besitzen einen derartig grundlegenden Charakter, dass eine Prüfung als unzureichend bewertet werden muss, die auf die Anwendung dieser Techniken insbesondere im Modultest verzichtet.