- 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.
This content is made available in the interest of sharing educational material with any who might find it useful. This page is updated periodically, and may not be in synch with the course itself. For current course students, the latest content, assignment submission, and discussion forums are available on Moodle.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Note: All documents were originally written in Google Docs and converted to PDF. There may be some formatting errors in slides that did not exist in the original document.
Oracles and Fault-Based Testing
Test Execution and Automation
Model-Based Testing and Verification