CS5123 Software Validation and Quality Assurance

Fall 2018

Basic Information

Contact

Outline

This course reviews 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.

Announcements

Course Syllabus

Course Schedule

Assignments and Projects

Lecture Slides

Lecture Slides will be available before the lectures.
  • 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 Bug Patterns: Security
  • Lecture 12 Bug Patterns: Performance
  • Lecture 13 Static Bug Detection and Verification
  • Lecture 14 Coding Style
  • Lecture 15 Exception Handling
  • Lecture 16 Mid-Term II Review
  • Sample Questions and Answers for Mid-Term II