KIT | KIT-Bibliothek | Impressum | Datenschutz

13: Programmieren, Vorlesung, WS 2019/20, 29.01.2020

Koziolek, Anne ORCID iD icon; Zentrum für Mediales Lernen (ZML) [Hrsg.]

  • 0:00:00 Start
  • 0:02:20 Vorlesungsüberblick
  • 0:08:47 Testen: Vorgehen
  • 0:10:14 Klassifikation Dreiecke
  • 0:35:19 Kategorien von Tests
  • 0:45:52 Testselektion
  • 0:49:38 Wann ist das Testen beendet?
  • 0:52:17 Teststrategien
  • 0:54:45 Testgetriebene Entwicklung
  • 0:58:15 Refactoring
  • 1:01:05 Statische Analyse
  • 1:04:07 Assertions
  • 1:05:01 Zusicherungen
  • 1:11:24 Vor- / Nachbedingungen, Invarianten
  • 1:15:26 Assertions oder If-Abfrage?
  • 1:18:23 JUnit

Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Audio & Video
Publikationsdatum 30.01.2020
Erstellungsdatum 29.01.2020
Sprache Deutsch
DOI 10.5445/DIVA/2020-80
Identifikator KITopen-ID: 1000117245
Lizenz KITopen-Lizenz
Serie Programmieren, Vorlesung, WS 2019/20
Folge 13
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page