Instructor evaluations will take place at the beginning of lecture on Wed, March 19.
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: