January 12, 2015: Assignment 1 has been posted.

January 26, 2015: This may be interesting to graduating students looking for employment.

February 2, 2015: Assignment 2 has been posted.

The course introduces systematic methods of testing and verifying various types of software systems covering a range of static and dynamic techniques and their use within the development process. All too often software is designed and then tested. The real aim must be to take a more holistic view, where design is carried out with verification in mind to achieve overall project goals.

Upon successful completion of the course, students should be able to:

• Outline the objectives and limits of testing.
• Describe the strengths and weaknesses of the techniques discussed in the course.
• Select appropriate testing techniques for a given situation.
• Develop test harnesses for large software systems.
• Submit issue reports that are clear and complete.
• Produce quality written reports describing their testing.

• Mondays 14:30 - 16:00, VH 3004
• Wednesdays 14:30 - 16:00, VH 3004