KIT-Bibliothek
Audio-/Videodatei publizieren
Anleitung zum 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

10 |
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 kbps
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 kbps
Video Codec h264

Embed-Code