Skip to main content

CPS 707

Software Verification and Validation

This course introduces the topics of verification and validation of computer software. Material covered may include statistical and functional approaches to testing, test data analysis, testability, static analysis techniques, dynamic analysis techniques, selected state-of-the-art results, and real-world applications.
Weekly Contact: Lecture:3 hrs.
GPA Weight: 1.00
Course Count: 1.00
Billing Units: 1

Prerequisites

(CPS 406 and CPS 420) or (CPS 406 and MTH 210)

Antirequisites

None

Co-Requisites

None

Custom Requisites

None

Mentioned in the Following Calendar Pages

*List may not include courses that are on a common table shared between programs.

Computer Science