CEN 5070 Software Verification And Validation

Prerequisite: CEN 5064, CEN 5016. Covers Theory And Practice Of Insuring High Quality Software Products. Topics Include Evaluation Of Software For Efficiency, Performance, Reliability, And Correctness. Specific Skills Of Program Proving, Code Inspection, Unit Level Testing, And System Level Analysis Are Included.