12: Programmieren, Vorlesung, WS 2018/19, 23.01.2019
Burger, Erik
; KIT | Webcast [Hrsg.]
; KIT | Webcast [Hrsg.]- 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
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 24.01.2019 |
| Erstellungsdatum | 23.01.2019 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2019-81 |
| Identifikator | KITopen-ID: 1000116269 |
| Lizenz | KITopen-Lizenz |
| Serie | Programmieren, Vorlesung, WS 2018/19 |
| Folge | 12 |