ECE 653 - Software Testing, Quality Assurance and Maintenance
Instructor
Professor A. Gurfinkel
Lectures
Mondays, Wednesdays, Fridays from 3:30pm to 4:20pm in room E2 1303
Course Description and Main Topics
This course will provide an introduction to software testing and quality assurance techniques. The students will learn a wide spectrum of techniques and tools that can be used to improve and evaluate software quality ranging from mature testing methodologies to cutting edge automated verification algorithms. Topics to be covered include:
coverage criteria (graph, data-flow, and logic coverage), symbolic execution (static, dynamic, concolic), constraint solving (SMT), inductive invariants, automatic deductive verification, automatic invariant synthesis, and Software Model Checking.
Recommended Background
The course will include programming assignments in Java/C/Python. Background in Compilers and Logic is useful, but is not required.
Grading
- Assignments: 30%
- Midterm: 20%
- Final Exam: 50%