CS 6610 - Software Engineering II: Verification and Validation of Software Systems

The terminology and limitations of verification and validation (V and V) approaches. Five approaches will be presented: technical reviews, testing, proofs of correctness, simulation and prototyping, and requirements tracing. Students will define a V and V plan and carry it out for several stages in the development cycle of a project.

Prerequisites/Corequisites: Prerequisite: CS 6600.

Credits: 3 hrs.

Notes: Open to Graduate Students Only.