The request to revise ITIS 6140

Date: January 9, 2015
To: College of Computing & Informatics
From: Office of Academic Affairs
Approved On: December 16, 2014
Approved by: Graduate Council
Implementation Date: Summer 2015

Note: Deletions are strikethroughs. Insertions are underlined.

Catalog Copy

ITIS 6140. Software Testing and Quality Assurance. (3) Prerequisite: ITIS 6112 or permission of department. 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. Software engineering maturity model. (On demand)