KIT | KIT-Bibliothek | Impressum | Datenschutz

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: 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
Open Access Logo


Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Audio & Video
Publikationsdatum 21.01.2016
Erstellungsdatum 13.01.2016
DOI 10.5445/DIVA/2016-104
Identifikator KITopen-ID: 1000113727
Serie Programmieren, WS 2015/2016
Lizenz KITopen-Lizenz
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page