Computer Science

Testing, Analysis, and Verification

Testing, Analysis, and Verification
Fundamental challenge of software quality through the entire software product life-cycle. Sound engineering principles to ensure and assure quality at each stage of the life-cycle with an emphasis in early stages on testing techniques, dynamic and static program analysis, and formal verification for high assurance systems. Practical application to software artifacts and algorithm implementation connects the course material to real world application in the field.
 Hours3.0 Credit, 3.0 Lecture, 0.0 Lab
 PrerequisitesC S 240
 TaughtFall, Winter
 ProgramsContaining C S 329
Course Outcomes: 

Please contact the individual department for outcome information.