SE4367 - Software Testing, Verification, Validation and Quality Assurance

SE 4367 Software Testing, Verification, Validation and Quality Assurance (3 semester hours) Methods for evaluating software for correctness and reliability, including code inspections, program proofs and testing methodologies. Formal and informal proofs of correctness. Code inspections and their role in software verification. Unit and system testing techniques, testing tools and limitations of testing. Statistical testing, reliability models. Prerequisites: SE 3306 and (CE 3354 or CS 3354 or SE 3354) or instructor consent required. (3-0) S