Close Menu

CS 589 - Software Testing and Analysis

Course Description: 

Concepts and techniques for testing and analysis of software. Software testing at the unit, subsystem, and system levels. Specification-based testing. Code-based testing. Model-based testing. Methods for test generation and validation. Static and dynamic analysis. Formal methods and verification. Reliability analysis.

Credit: 

(3-0-3)

Prerequisite: 

[(CS 487 with min. grade of C)]

Corequisite: 

None

Attachments: