Humboldt-Universität zu Berlin,
Institut für Informatik,
Prof. Dr. Holger Schlingloff
Lectures on "Specification-Based Testing of Embedded Systems"
Here are the slides from the
SEFM
2008
School
on
Specification-Based Testing of Embedded Systems
, at the University of Cape Town.
Slides (C) H. Schlingloff 2009. Use permitted only for private personal use; distribution prohibited!
3.11.2008: L1 - Introduction (
pdf
)
4.11.2008: L2 - Specification formalisms (
pdf
)
5.11.2008: L3 - Test generation (
pdf
)
6.11.2008: L4 - Test execution (
pdf
)
7.11.2008: L5 - Test evaluation and assessment (
pdf
)
H. Schlingloff, 19.4.2010