Die Prüfung ist eine der wichtigsten Aufgaben bei der Entwicklung von komplexer, umfangreicher Software. In der Praxis wird dafür ein erheblicher Anteil des gesamten Entwicklungsaufwands aufgebracht. Es existieren zahlreiche Methoden und Techniken für die Prüfung von Software. Die Mehrzahl dieser Lösungen erfordert zu ihrer erfolgreichen Umsetzung in der Praxis leistungsfähige Werkzeuge. Diese müssen zur gewählten Methodik passen und den Prüfer in bestmöglicher Weise unterstützen.

Einerseits gibt es nicht zu jeder Prüftechnik geeignete Werkzeuge, und es ist auch nicht jedes Werkzeug in der praktischen Anwendung hilfreich. Andererseits existieren für die Software- und Systemenprüfung akzeptierte Minimalkriterien, die zu entsprechenden Anforderungen an die unterstützenden Werkzeuge führen. Darüber hinaus fordern einschlägige Standards insbesondere für kritische Softwaresysteme bestimmte Prüfungen. Deren ordnungsgemäße Durchführung kann mit Hilfe einschlägiger Werkzeuge demonstriert und nachgewiesen werden.

In der Praxis ist es entscheidend, eine geeignete, akzeptierte Prüfmethodik durch gute Werkzeuge so zu unterstützen, dass die Prüfung optimal verläuft.