KIT-Bibliothek

Programmieren, WS 2015/2016, gehalten am 13.01.2016, Vorlesung 10

Autor

Erik Burger

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

  • 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

Laufzeit (hh:mm:ss)

01:27:20

Serie

Programmieren, WS 2015/2016

Publiziert am

21.01.2016

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

Auflösung 1280 x 720 Pixel
Seitenverhältnis 16:9
Audiobitrate 104757 bps
Audio Kanäle 2
Audio Codec aac
Audio Abtastrate 48000 Hz
Gesamtbitrate 910686 bps
Farbraum yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Medientyp video/mp4
Dauer 5241 s
Dateiname DIVA-2016-104_hd.mp4
Dateigröße 4.096 byte
Bildwiederholfrequenz 25
Videobitrate 799834 bps
Video Codec h264

Mediathek-URL

Embed-Code