Ein Überblick über Software-Testmethoden und ein Vorschlag für ein automatisiertes, in der Praxis einsetzbares Verfahren.