Testen, Analysieren und Verifizieren von Software