CECS 644 - Software Testing and Verification

(3 units)

Prerequisite: Open to Computer Engineering MS, Computer Science MS and Engineering MS students only; CECS 543 with a grade of “C” or better.
Various types of software testing and verification techniques for software development including black box, white box, incremental, top-down and bottom-up, static and dynamic, performance, regression, thread, and stress testing. Discussion of object-oriented software testing with a hierarchical approach. Metrics in complexity for testing, test, and verification plan will be introduced. Automatic software testing and some case studies. Master’s students register in CECS 544 or CECS 644; Ph.D. students register in CECS 644. Additional projects required for CECS 644.

Letter grade only (A-F). (Lecture-problems 3 hours) Double Numbered with: CECS 544