CS 483 - Software Testing

(3.00 cr.)

Techniques for evaluating software and verifying that software conforms to its requirements: static and dynamic analysis, theoretical foundations, and formal proofs; error, fault, and failure classification; test planning; software quality assurance; metrics; consistency.

Prerequisite: CS 302 or CS 312 .
Sessions Typically Offered: Spring
Years Typically Offered: Varies

Print this Page