|Testing, Debugging, and
||TDA566/DIT082, LP2, HT2011|
Why you should take this course?
This course is an eligible (not compulsory) course in most
programmes. Here are some good reasons why you should
take this course!
- Relevant and useful content.
This is the only course
offered at Chalmers/GU that teaches you systematically about a wide
range of software validation methods from testing via debugging to
formal verification. It is the only course that gives a systematic
introduction to debugging. Validating software in one form or the
other is likely to be one of the things you will spend a lot of time
with in your professional life!
- The teaching concept.
The course is divided into five
teaching units (testing, debugging, formal specification, test case
generation, formal verification) that build on each other. We stress
the strong connections among all of these techniques. Most
importantly, in each section of the course you will learn how to use
a state-of-art tool that helps you to automate the tedious tasks.
and Vladimir are
dedicated teachers, continually getting good course evaluations. They are also
both active researchers in the area of the course and really know
what is going on in the field.
- Planning ahead.
There is a follow-up to this course
Engineering using Formal Methods where you learn how to formally
specify and verify realistic software. Testing, Debugging, and
Verification is a perfect preparation for that course.
Nov 9, 2011