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

Autor

Erik Burger

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

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

Laufzeit (hh:mm:ss)

01:13:33

Serie

Programmieren, Vorlesung, WS 2018/19

Publiziert am

24.01.2019

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz