This is the preliminary (or launch) version of the 2021-2022 VCU Bulletin. This edition includes all programs and courses approved by the publication deadline; however we may receive notification of additional program approvals after the launch. The final edition and full PDF version will include these updates and will be available in August prior to the beginning of the fall semester.

CMSC 425. Introduction to Software Analysis and Testing. 3 Hours.

Semester course; 3 lecture hours. 3 credits. Prerequisite: CMSC 355 with a minimum grade of C. Enrollment is restricted to majors in the computer science program. A practical introduction to testing complex software applications. An introduction to concepts and techniques used in the analysis of software, including basic and advanced control flow and data flow analyses. Using analytic results to derive test data and validate the correct implementation of programs. Advanced testing strategies including random, structural, mutation and fuzzing.