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 525. Introduction to Software Analysis, Testing and Verification. 3 Hours.

Semester course; 3 lecture hours. 3 credits. Prerequisites: CMSC 401 and 403, graduate student standing or acceptance into the five-year accelerated B.S. and M.S. program in computer science. An introduction to concepts and techniques used in the analysis of software for certain properties. Using analytic results to derive test data and verify the correct implementation of programs. Flow graphs, fault/failure model, theoretical and practical limitations. Control flow, data flow and error flow analyses. Testing strategies including random, structural, mutation and error flow. Software metrics.