|
00:00:00
|
Testen objektorientierter Programme (Kapitel 11) |
|
00:01:17
|
Vollständiges Testen |
|
00:03:47
|
Inkrementelles Testen (1) |
|
00:05:34
|
Inkrementelles Testen (2) |
|
00:06:30
|
Test einer Unterklasse |
|
00:07:30
|
Ergebnisse (1) |
|
00:08:13
|
Ergebnisse (2) |
|
00:12:07
|
ASTOOT - ADT-basierter Klassentest |
|
00:17:56
|
Abstrakter Datentyp |
|
00:21:36
|
Beispiel - Algebraische Spezifikation |
|
00:27:00
|
Algebraische Spezifikationen |
|
00:31:44
|
ASTOOT - Theoretische Grundlagen |
|
00:34:12
|
ASTOOT - Testverfahren |
|
00:35:32
|
Zusammenfassung |
|
00:38:27
|
Zustandsbasierter Klassentest (Kapitel 12) |
|
00:39:22
|
Motivation |
|
00:40:44
|
Beispiel für Methodeninteraktion |
|
00:42:28
|
Zustandsbasierter Testansatz |
|
00:47:30
|
Beispiel Zustandsautomat |
|
00:48:28
|
Das FREE Zustandsmodell |
|
00:52:21
|
FREE - Zustand |
|
00:54:24
|
Testbares Zustandsmodell |
|
00:57:15
|
FREE - Zustandsautomat |
|
00:58:52
|
Alpha- und Omega-Zustände |
|
01:00:02
|
FREE - Einebnen einer Klasse |
|
01:01:40
|
Free Produktautomat - Beispiel |
|
01:03:25
|
Die Klasse Konto |
|
01:05:13
|
Zustandsautomat - Konto |
|
01:07:34
|
Fehlermodell |
|
01:09:54
|
Theorie des zustandsbasierten Tests |
|
01:12:34
|
Chow‘s switch Überdeckung |
|
01:14:45
|
Beispiel: Digitaluhr |
|
01:15:50
|
Beispiel: 0-switch |
|
01:16:18
|
Beispiel: 1-switch |
|
01:16:55
|
N+ Teststrategie |
|
01:21:48
|
Zustandsübergangsbaum |
|
01:23:29
|
Zustandsübergangsbaum - Konto |
|
01:24:56
|
Test auf Übereinstimmung |