Description:

o We want the software we write to be good?quality software. But how do we ensure the quality of our software? Good testing practice is one way. However, there are other aspects to software quality, such as starting out with good?quality specifications. This course explores aspects of software quality assurance, with a particular emphasis on specification and testing. Both practical aspects and theoretical aspects will be addressed.

o Course goals: by the end of the course, students should be able to:

• Use the basic vocabulary of software quality;
• Apply widely?used functional and structural testing techniques;
• Describe and explain major issues in system testing;
• Recognize, interpret and write statecharts;
• Describe the benefits of reviews and walkthroughs to software quality;
• Prove simple properties of straight?line and iterative code;
• Discuss the use of metrics in software development organizations;
• Explain the benefits and drawbacks of meeting quality standards.