Programmieren, WS 2015/2016, gehalten am 13.01.2016, Vorlesung 10
Burger, Erik
- 0:00:00 Starten
- 0:02:34 Motivation: Divide and Conquer
- 0:06:57 Rekursion
- 0:07:36 Rekursive Methoden
- 0:08:42 Beispiel: Fakultätsfunktion
- 0:11:09 Binomialfunktion
- 0:13:45 Binomialfunktion mit Caching
- 0:14:51 Rekursion - Zusammenfassung
- 0:15:46 Rekursion vs. Iteration
- 0:17:07 Die Kochsche Schneeflockenkurve
- 0:18:55 12 Java API
- 0:19:58 Java API
- 0:23:02 Das Java Collections Framework
- 0:24:32 Das Interface Collection
- 0:27:24 Exkurs: Wildcards in generischen Typen
- 0:28:41 Exkurs: Kovarianz / Invarianz
- 0:34:26 Sub-Interfaces von Collection
- 0:35:39 Das Interface Map
- 0:36:52 Map
- 0:37:52 Die Klasse Collections
- 0:39:28 Das Paket java.io
- 0:40:28 Ein-und Ausgabe in Java
- 0:43:33 13 Testen und Assertions
- 0:44:36 Softwarefehler (""Bugs"")
- 0:46:21 Berühmte Software-Fehler
- 0:49:36 Software-Fehler
- 0:54:12 Beispiel: Klassifikation Dreiecke
- 0:59:19 Kriterien für gute Testfälle
- 1:00:45 Was Testen ist...
- 1:03:45 Failure vs. Fault
- 1:05:14 Failure vs. Fault vs. Error
- 1:06:10 Beispiel: Failure vs. Fault
- 1:09:19 Was Testen nicht ist...
- 1:10:20 Warum Testen so schwierig ist
- 1:12:32 Testselektion
- 1:13:09 Wann sind wir fertig?
- 1:14:56 Teststrategien
- 1:15:36 Assertions (Geek & Poke)
- 1:17:11 Zusicherung
- 1:20:36 Pre- und Postconditions, Invarianten
- 1:21:30 Beispiel Invarianten
- 1:22:31 assert oder if-Abfrage?
- 1:23:50 Statische Analyse
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Audio & Video |
| Publikationsdatum | 21.01.2016 |
| Erstellungsdatum | 13.01.2016 |
| Sprache | Deutsch |
| DOI | 10.5445/DIVA/2016-104 |
| Identifikator | KITopen-ID: 1000113727 |
| Lizenz | KITopen-Lizenz |
| Nachgewiesen in | OpenAlex |
| Globale Ziele für nachhaltige Entwicklung | |
| Serie | Programmieren, WS 2015/2016 |
| Folge | 10 |