Humboldt-Universität zu Berlin,
Institut für Informatik,
Prof. Dr. Holger Schlingloff
Qualitätssicherung von Software
Hier finden Sie Informationen und Unterlagen zur Vorlesung "Qualitätssicherung von Software" im WS 2004/2005.
Aktuelles
Anmeldung zu den mündlichen Prüfungen ab sofort bei Frau Heene (Sekr. Reisig)
Vorlesungsunterlagen
16.2.2005: SPICE (
pdf
,
ppt
)
9.2.2005: ISO 9000 (
pdf
,
ppt
)
2.2.2005: FTA, Stochastische Zuverlässigkeitstheorie (
pdf
,
ppt
)
28.1.2005: Software-Zuverlässigkeit: FMEA, FMECA (
pdf
,
ppt
)
26.1.2005: Reviewtechniken (
pdf
,
ppt
)
19.1.2005: Software-Metriken (
pdf
,
ppt
)
12+14.1.2005: Abstrakte Interpretation (
pdf
, (c) Dr. J. Burghardt)
7.1.2005: Model Checking II (
pdf
,
ppt
)
5.1.2005: Model Checking (
pdf
,
ppt
)
15.12.2004: GUI-Testing und Testadministration (
pdf
,
ppt
)
10.12.2004: Prozessalgebra (
pdf
,
ppt
)
8.12.2004: Abstrakte Datentypen (
pdf
,
ppt
)
3.12.2004: Lotos (
pdf
,
ppt
)
1.12.2004: objektorientierter Test (
pdf
,
ppt
)
26.11.2004: modellbasierter Test (
pdf
,
ppt
)
24.11.2004: Testüberdeckungen (
pdf
,
ppt
)
18.11.2004: Systemtest (
pdf
,
ppt
)
16.11.2004: Integrationstest (
pdf
,
ppt
)
10.11.2004: Testfallauswahl (
pdf
,
ppt
)
5.11.2004: Funktionstest (
pdf
,
ppt
)
3.11.2004: Testen (
pdf
,
ppt
)
27.10.2004: Kriterien (
pdf
,
ppt
)
22.10.2004: Begriffe (
pdf
,
ppt
)
20.10.2004: Einführungsbeispiel (
pdf
,
ppt
)
Unterlagen zu den Übungen
12.1.2005-11.2.2005: CMMI (
pdf
,
ppt
)
3.12.2004-7.1.2005: Visual Modeling and UML (
pdf
,
ppt
)
26.11.2004: Integration Testing (
Exercise 2 (.doc)
,
pdf
,
ppt
)
18.11.2004: Whitebox (Fortsetzung) (
pdf
,
ppt
)
12.11.2004: Whitebox Testing (
pdf
,
ppt
)
5.11.2004: JUnit (Fortsetzung) (
pdf
,
ppt
)
29.10.2004: JUnit (
pdf
,
ppt
)
H. Schlingloff, 20.10.2004