CS4723 Software Validation and Quality Assurance

Fall 2019

Basic Information

Contact

Outline

This course covers the basic concepts and knowledge of software validation and quality assurance. We will introduce various techniques to support software validation and quality assurance, include software testing, software debugging, software verification, anti-pattern checking, and field bug management. As the major software validation approach in practice, software testing will account for a large portion of the course content. We will also discuss some recent research progress on major problems of software validation and quality assurance. Beyond the classroom study, we have two course projects for hands-on practice of the knowledge covered by the course.

Announcements

Lecture Slides

  • Lecture 01 Introduction
  • Lecture 02 Overview of Software Testing
  • Lecture 03 Unit Testing
  • Lecture 04 Test Coverage
  • Lecture 05 Integration, System, and Acceptance Testing
  • Mid-Term Review Outline
  • Sample Exam
  • Lecture 06 Performance Testing
  • Lecture 07 Regression Testing
  • Lecture 08 Automatic Test-Case Generation
  • Lecture 09 Bug Report Management
  • Lecture 10 Debugging
  • Lecture 11 Common Bug Patterns: Security
  • Lecture 12 Common Bug Patterns: Performance
  • Lecture 13 Coding Style
  • Lecture 14 Exception Handling
  • Lecture 15 Static Bug Detection
  • Lecture 16 Mid-Term II Review