12: Programmieren, Vorlesung, WS 2018/19, 23.01.2019

12 | 0:00:00 Start 0:00:39 Vorlesungsüberblick 0:01:04 Lernziele heute 0:03:19 Software-Katastrophen 0:15:52 Testen: Vorgehen 0:16:42 Beispiel: Klassifikation Dreiecke 0:22:07 Kriterien für gute Testfälle 0:24:19 Definition: Testen 0:29:15 Kategorien von Tests 0:31:59 Schwierigkeit von Tests 0:34:11 Testselektion 0:35:38 Testende 0:36:54 Teststrategien 0:37:56 Testgetriebene Entwicklung 0:39:54 Refactoring 0:41:49 Statische Analyse 0:43:45 Assertions 0:44:59 Zusicherungen 0:47:58 Zusicherungen in Java 0:49:38 Vor-/Nachbedingungen, Invarianten 0:50:40 Beispiel Invariante 0:51:56 Assertion oder If-Abfrage 0:53:21 JUnit: Übersicht 0:55:03 Beispiel: JUnit 4 0:55:52 Struktur/Terminologie von JUnit 0:56:47 JUnit: Testfall 0:57:15 Test-Urteil 0:58:19 JUnit: Assertions 1:00:42 Text-Fixture 1:03:11 Test-Suiten 1:04:09 Parametrisierte Tests 1:08:43 Ausführen von Tests 1:10:30 Test-Runner in Eclipse 1:11:27 Zusammenfassung