• Testfälle entwerfen und in Bezug zu Anforderungen setzen können

• Testüberdeckungs- und Testendekriterien beurteilen können

• Korrektheitsbeweise auf Basis der Programmsemantik durchführen

• Schaltkreisverifikation durch Eigenschaftsprüfung verstehen

• Den Zusammenhang zwischen Modelläquivalenz und erschöpfendem Testen, sowie formalem Äquivalenzbeweis verstehen

• Gemeinsamkeiten und Unterschiede bei Test und Verifikation von Software und Schaltkreisen verstehen

1. Der Testprozess in den Vorgehensmodellen des Software-Engineering
2. Testen auf unterschiedlichen Integrationsebenen: Vom Modultest bis zum Systemtest
3. Test-Abdeckungsmaße für Softwaretests
4. Fehlermodelle und -überdeckung bei Schaltkreisen
5. Grundlagen des Schaltkreistestens: Testmustergenerierung und Fehlersimulation
6. Grundlagen des Softwaretestens
7. Formale Softwareverifikation auf Grundlage operationeller Semantik
8. Beweistheorien: Hoare Kalkül
9. Eigenschaftsprüfung und Äquivalenzprüfung für Schaltkreise
10. HW/SW-Coverifikation

i.d.R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung

• R. Binder “Testing Object-Oriented Systems: Models, Patterns, and Tools”, Addison-Wesley, 2000

• A. Spillner, T. Linz “Basiswissen Softwaretest: Aus- und Weiterbildung zum Certified-Tester”, dpunkt-Verlag, 2003.

• Alexander Miczo: Digital Logic Testing and Simulation. Wiley 2004.

• Edmund M. Clarke, Orna Grumberg and Doron A. Peled: “Model Checking”, The MIT Press, 1999

• Christel Baier and Joost-Pieter Katoen: “Principles of Model Checking”, The MIT Press, 2008

• K. Apt, E.-R. Olderog: “Verification of Sequential and Concurrent Programs”, Springer, 1991