KIT-Bibliothek
Audio-/Videodatei publizieren

Programmieren, Vorlesung, WS 2016/17, 11.01.2017, 10

Autor

Erik Burger

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

  • 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

Laufzeit (hh:mm:ss)

01:17:08

Serie

Programmieren, Vorlesung, WS 2016/17

Publiziert am

19.01.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Mediathek-URL

Embed-Code