Nov 10, 2026

2026-2027 Graduate Academic Calendar

ENGR 5550G - Software Testing and Quality Assurance

This course will introduce students to techniques and tools to verify, validate, and evaluate software systems and their quality. Topics include inspection and code reviews, debugging, testing methodologies such as unit testing, classical white box and black box testing, integration and system testing, test automation, IEEE software testing standards, verification of implementation against requirements and design, timing analysis and verification, automated verification, formal verification, software model checking, safety analysis, trustworthiness and reliability, quality assurance.
Credit hours: 3
Credit restriction(s): ENGR 5750G