Description
Validation of software throughout the life cycle. Comparative effectiveness in defect removal of formal methods (proofs of correctness), inspection (walkthroughs and reviews), and testing (unit, integration, and system testing; white box versus black box).
Follow-On Courses
This course appears in the pre- or co-requisites for the following course(s):
Learning Hours
120 (36 Lecture, 84 Group Learning)
Prerequisite
Registration in a School of Computing Plan and a minimum grade of C- in CISC 124/3.0 and CISC 220/3.0.
Exclusion
Maximum of one course from: CISC 227/3.0; CISC 327/3.0; CMPE 327/3.0.