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 you should be able to do the following:

• Understand the importance of testing.
• Understand the strengths and weaknesses of the techniques discussed in the course
• Be able to select appropropriate techniques for a given situation.
• Be able to produce test harnesses for large sorftware systems.
• Be able to produce quality reports.

• Mondays 14:30 - 16:00, CB 122
• Wednesdays 14:30 - 16:00, CB 122