Programmieren, Vorlesung, WS 2016/17, 11.01.2017, 10
Burger, Erik
; KIT | Webcast [Hrsg.]
; KIT | Webcast [Hrsg.]- 0:00:00 Starten
- 0:01:19 12 Java API
- 0:01:23 Nochmals: Das Interface Collection
- 0:03:08 Sub-Interfaces von Collection
- 0:05:26 Das Interface Map
- 0:08:47 Die Klasse Collections
- 0:11:27 Das Paket java.io
- 0:13:21 Ein- und Ausgabe in Java
- 0:16:08 Java Puzzlers
- 0:16:47 Zusammenfassung
- 0:18:19 13 Testen und Assertions
- 0:20:59 Softwarefehler (""Bugs"")
- 0:29:40 Testen
- 0:31:45 Beispiel: Klassifikation Dreiecke
- 0:38:25 Kriterien für gute Testfälle
- 0:41:53 Was Testen ist...
- 0:45:28 Failure vs. Fault
- 0:47:02 Failure vs. Fault vs. Error
- 0:48:14 Beispiel: Failure vs. Fault
- 0:50:57 Was Testen nicht ist...
- 0:53:49 Warum Testen so schwierig ist
- 0:57:09 Testselektion
- 1:00:11 Teststrategien
- 1:01:03 Assertions
- 1:02:43 Zusicherungen
- 1:07:55 Vor- und Nachbedingungen, Invarianten
- 1:10:09 assert oder if-Abfrage?
- 1:12:38 Statische Analyse
- 1:15:07 Zusammenfassung
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 19.01.2017 |
| Erstellungsdatum | 11.01.2017 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2017-36 |
| Identifikator | KITopen-ID: 1000114450 |
| Lizenz | KITopen-Lizenz |
| Serie | Programmieren, Vorlesung, WS 2016/17 |
| Folge | 10 |