Software Verification and Validation

Description

This course will address topics in the verification and validation (V&V) of software. Verification addresses issues related to whether the system is correct (with respect to some specification), validation addresses the question whether the right system was built. An in-depth study of verification and validation strategies and techniques as they apply to the development of quality software. Topics include test planning and management, testing tools, technical reviews, formal methods, and the economics of software testing. The relationship of testing to other quality assurance activities as well as the integration of verification and validation into the overall software development process are also discussed.

Program

Software Engineering 144 CRs

Objectives

• 1. To be familiar with the concepts of verification, validation, testing, test model, test criteria.
  2. To understand the benefits and limitations of software testing.
  3. To understand testing techniques for unit testing, integration testing, and system testing.
  4. To understand the problem of regression testing.
  5. To understand problems specific to procedural, object-oriented, distributed, or real-time software.
  6. To understand the different kinds of testing techniques that exist, their advantages and drawbacks.
  7. To become more familiar with the general notion of quality assurance.
  8. Understand automation techniques for the testing process.
  9. Document for the testing process.