KIT-Bibliothek

12: Programmieren, Vorlesung, WS 2018/19, 23.01.2019

Author

Erik Burger

Editor

KIT | Webcast

Participating institute

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Description

  • 0:00:00 Start
  • 0:00:39 Vorlesungsüberblick
  • 0:01:04 Lernziele heute
  • 0:03:19 Software-Katastrophen
  • 0:15:52 Testen: Vorgehen
  • 0:16:42 Beispiel: Klassifikation Dreiecke
  • 0:22:07 Kriterien für gute Testfälle
  • 0:24:19 Definition: Testen
  • 0:29:15 Kategorien von Tests
  • 0:31:59 Schwierigkeit von Tests
  • 0:34:11 Testselektion
  • 0:35:38 Testende
  • 0:36:54 Teststrategien
  • 0:37:56 Testgetriebene Entwicklung
  • 0:39:54 Refactoring
  • 0:41:49 Statische Analyse
  • 0:43:45 Assertions
  • 0:44:59 Zusicherungen
  • 0:47:58 Zusicherungen in Java
  • 0:49:38 Vor-/Nachbedingungen, Invarianten
  • 0:50:40 Beispiel Invariante
  • 0:51:56 Assertion oder If-Abfrage
  • 0:53:21 JUnit: Übersicht
  • 0:55:03 Beispiel: JUnit 4
  • 0:55:52 Struktur/Terminologie von JUnit
  • 0:56:47 JUnit: Testfall
  • 0:57:15 Test-Urteil
  • 0:58:19 JUnit: Assertions
  • 1:00:42 Text-Fixture
  • 1:03:11 Test-Suiten
  • 1:04:09 Parametrisierte Tests
  • 1:08:43 Ausführen von Tests
  • 1:10:30 Test-Runner in Eclipse
  • 1:11:27 Zusammenfassung

Duration (hh:mm:ss)

01:13:33

Series

Programmieren, Vorlesung, WS 2018/19

Published on

24.01.2019

Subject area

Computer science

License

KITopen Licence

Resolution 1280 x 720 Pixel
Aspect ratio 16:9
Audio bitrate 128000 bps
Audio channels 2
Audio Codec aac
Audio Sample Rate 48000 Hz
Total Bitrate 934080 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 4413 s
Filename DIVA-2019-81_hd.mp4
File Size 515.250.984 byte
Frame Rate 25
Video Bitrate 799984 bps
Video Codec h264

Media URL

Embed Code