|Testing, Debugging, and Verification||TDA567/DIT082, LP2, HT2017|
About This Course
Course homepage: www.cse.chalmers.se/edu/course/TDA566
Discussion email list: https://groups.google.com/forum/#!forum/tda2017. Messages sent to this list will reach all teachers. All kinds of questions (and answers) on the content of the course are welcome. (But don't post lab solutions!)
ExaminationTo pass the course a student must
The workload for an average student is expected to be around 200h. Evenly distributed over the 8 week course period that means around 25h/week. From these 25h/week only 6h/week are scheduled activity and 19h/week are your own responsibility.
The course has approximately two lectures and one exercise session each week. Participation in these is optional but very strongly recommended.
The course is about how to convince oneself that a program unit really does what it should. There are different methods for verifying programs that will be covered in this course:
Verifying a program only makes sense if we can precisely specify what the program is supposed to do. Many specifications are written in natural language which might lead to imprecision and misunderstandings. In the course you will learn how to use precise methods for specifying functional requirements. Such precise specifications will then be our basis for the verification of programs. But they will also be useful to automatize the generation of test cases.
Learning OutcomeAfter a completed course the student should know
LiteratureThe books listed below should be accessible as e-books via Chalmers library. Let us know if any of them are no longer available.
|Home | Course | Schedule | Exam | Exercises | Labs | Evaluation | Tools||Srinivas Pinisetty, Oct 2, 2017|