Lecture 9: Model-Based Testing
(Nov. 15th afternoon)
Topics:
-
Introduction to Model-Based Testing
-
-
Labelled Transition System (LTS)-based Testing
-
Timed Automata (TA)-based Testing
- Tools
for Model-Based Testing
Slides:
Lecture 9: Model-Based Testing:
Introduction (pdf)
Model-Based Testing: Principles, Methods and Tools (pdf)
Exercises:
Lecture 9: Model-Based Testing (pdf) (solutions)
Literature:
on
FSM-based Testing:
-
Gerard J. Holzmann. Design and Validation of Computer Protocols, Chapter 9 “Conformance Testing”
on
LTS-based Testing:
- Jan
Tretmans. Testing concurrent systems -- A formal approach.
In Proc. CONCUR’99, 1999.
on
TA-based Testing:
-
Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul
Pettersson, and Arne Skou. Formal Methods and Testing, chapter "Automated Model-Based Conformance Testing of Real-Time
Systems". Springer-Verlag, 2006.
Model-based
testing tools:
- see
the slides for an (incomplete) list of tools