CSCE 747 - Software Testing and Quality Assurance

• Course Name: CSCE 747 - Software Testing and Quality Assurance
• Semester: Spring 2017
• Instructor: Greg Gay
• Lecture Hours: Tuesday/Thursday, 8:30 - 9:45 AM, 2A05 Swearingen Engineering Center
• Office Hours: Tuesday/Thursday, 4:00 - 5:00 PM, 2247 Storey Engineering and Innovation Center

Our society is built on software. It powers our homes, it manages our private information, it controls our cars, it automates our factories and it even regulates our bodies. It is incredibly important that we construct robust, operational systems, especially given growing demand for features, limited development budgets and strict time constraints. The key to delivering such software is by conducting a thorough verification and validation process.

In this course, we will explore the process of software verification and examine a variety of methods to test systems, prove their correctness, and make an argument that the software we build is reliable and safe to use.

• The students will be familiar with the process of verification and validation.
• The students will understand the process of applying tests to software and the fundamental components of a test case.
• The students will be able to derive test cases from software requirement specifications - including being able to partition input and output domains, form test specifications, and identify valid combinations of input.
• The students will understand and be able to distinguish between methods of judging test case adequacy and how to design tests that will accomplish the obligations of such methods.
• The students will understand how to build models of system behavior and prove that their obey required properties.
• The students will be able to make logical arguments that prove the correctness of program implementations.
• The students will be able to write code to automate test execution and analysis.
• The students will be familiar with methods of measuring software reliability.

• Syllabus
• Schedule