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.

February 9, 2015: Assignment 1 feedback has been sent to your cse email. You can see your grade on ePost (link on sidebar).

February 23, 2015: Assignment 3 has been posted.

March 2, 2015: Assignment 2 feedback has been sent to your cse email. You can see your grade on ePost (link on sidebar).

March 17, 2015: Assignment 4 has been posted.

March 27, 2015: Assignment 3 feedback has been sent to your cse email. You can see your grade on ePost (link on sidebar).

April 27, 2015: Assignment 4 feedback has been sent to your cse email. You can see your grade on ePost (link on sidebar). Overall course grades are on ePost as well.

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