|COURSE TITLE||Software Validation & Verification Techniques|
|SCHOOL||Seidenberg School of CSIS|
|PREREQUISITE||SE 616 Minimum Grade of C|
Course Description: This course covers software validation and verification techniques and their role in the software engineering process and quality assessment. Testing processes, metrics, and a variety of testing techniques (including unit, blackbox/whitebox, structural, security, and performance testing) and supportive tools are introduced. The course also addresses the use of logic to specify and prove properties of programs using model checking and theorem proving.
|SECTION TITLE:||Software Validation & Verification Techniques|
|REQUIRED MATERIAL:||To Be Determined|
|BlackBoard||07/15/2019 - 08/24/2019|