Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification

  • Authors:

  • Wolfgang Ahrendt;Richard Bubel;Reiner Hähnle

  • Affiliations:

  • Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University,;Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University,;Department of Computer Science and Engineering, Chalmers University of Technology and Göteborg University,

  • Venue:
  • TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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.