VDM Bungert, D: Modellbasiertes Testen

Moderne Software-Systeme werden immer komplexer und befinden sich in einem ständigen Entwicklungsprozess. Funktionen werden fortlaufend hinzugefügt, modifiziert oder entfernt. Manuelle Testmethoden können den Ansprüchen, die heutige Software an ihre Test-Systeme stellt, häufig nicht mehr gerecht werden. Sie gelten als sehr statisch und haben das Problem, dass sie immer wieder versuchen, dieselben Fehler aufzuspüren. Ein modernes Test-System sollte daher hoch flexibel sein und darauf abzielen, mit jedem Testlauf neue Kombinationen von Funktionsaufrufen, mit unterschiedlichen Parametern, zu testen. Ein Lösungsansatz der diese Eigenschaften erfüllen kann wird in diesem Buch vorgestellt.