Integrated and tool-supported teaching of testing, debugging, and verification

Abstract

The course "Testing, Debugging, and Verification" is a non-traditional formal methods course that connects formal approaches to real-world development techniques in a novel way. A general theme in the course is that formalisation of specifications is the basis for debugging and test generation tools that go beyond what is possible with merely informal methods, and ultimately provides the opportunity of formal verification. Thereby, the course aims at integrating formal and informal methods as much as possible. The course is supposed to be accessible to participants without extensive mathematical training. We report about the design, implementation, and experiences with the course. © 2009 Springer-Verlag Berlin Heidelberg.