KIT-Bibliothek

22: Softwaretechnik 1, Vorlesung, SS 2017, 14.07.2017

Autor

Walter F. Tichy, Sebastian Weigelt, Martin Blersch, Tobias Hey

Herausgeber

KIT | Webcast

Beteiligtes Institut

Institut für Programmstrukturen und Datenorganisation (IPD)

Genre

Vorlesung

Beschreibung

  • 0:00:00 Starten
  • 0:00:08 Kapitel 5.1 - Testen und Prüfen
  • 0:02:20 Motivation
  • 0:04:03 Fehleraufdeckung ist das Ziel der Testverfahren
  • 0:07:03 Es gibt 3 Arten von Fehlern...
  • 0:09:02 Zusammenhang der Fehlerarten
  • 0:11:10 Arten von Testfehlern
  • 0:13:30 Fehlerklassen
  • 0:15:41 Modul-/Softwaretestverfahren
  • 0:18:07 Testphasen
  • 0:20:24 Klassifikation testender Verfahren
  • 0:28:15 Kontrollflussorientierte (KFO) Testverfahren
  • 0:30:14 Definition: Zwischensprache
  • 0:32:04 Definition: Strukturerhaltende Transformation
  • 0:40:08 Definition: Grundblock (GB) (engl. basic block)
  • 0:41:50 Definition: Kontrollflussgraph (KFG)
  • 0:43:18 Kontrollflussgraph finden
  • 0:48:36 Definitionen: Zweig, vollständige Pfade
  • 0:50:56 Kontrollflussgraph vereinfachen
  • 0:51:53 Definition: Anweisungsüberdeckung
  • 0:52:56 Definition: Zweigüberdeckung
  • 0:56:33 Definition: Pfadüberdeckung
  • 1:00:11 Definition: Subsumieren
  • 1:01:17 Zusammenfassung: KFO Teststrategien
  • 1:04:00 Kapitel 4.2.1 - Parallelität in Java
  • 1:04:02 Koordination: Monitore & Signalisierung
  • 1:09:15 Funktionsweise von Wait-Notify
  • 1:12:42 Konstruktion: Konstrukte für Warten und Benachrichtigung
  • 1:15:58 Koordination: Sicherheitshinweise & Faustregeln

Laufzeit (hh:mm:ss)

01:19:08

Serie

Softwaretechnik I, Vorlesung, SS 2017

Publiziert am

17.07.2017

Fachgebiet

Informatik

Lizenz

KITopen-Lizenz

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

Mediathek-URL

Embed-Code