10: Rekursion, Rekursive Methoden, Binomialfunktion, Software-Fehler, Testen

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 E
0:27:24 Exkurs: Wildcards in generischen Typen
0:28:41 Exkurs: Kovarianz / Invarianz
0:34:26 Sub-Interfaces von Collection E
0:35:39 Das Interface Map K,V
0:36:52 Map K,V: Beispiel
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

Dozent: Dr.-Ing. Erik Burger | Karlsruher Institut für Technologie (KIT), Institut für Programmstrukturen und Datenorganisation

Vorlesungsaufzeichnung: KIT | WEBCAST
http://webcast.kit.edu