Skip to main content
TR EN

Course Catalog

CS 539 Software Verification and Validation 3 Credits
This course covers some of the fundamental concepts, methods, strategies, and techniques related to software verification and validation. Topics included are: software quality assurance concepts, issues, and principles; boundary value testing; equivalence class testing; decision table-based testing; test coverage metrics; unit testing; path testing; control and data flow testing; usage-based statistical testing; integration testing; combinatorial testing; model-based testing; regression testing; static and dynamic program analysis; software inspections and walkthroughs; continuous integration; problem analysis and reporting; and program debugging.
Last Offered Terms Course Name SU Credit
Spring 2020-2021 Software Verification and Validation 3
Fall 2018-2019 Software Verification and Validation 3
Spring 2016-2017 Software Verification and Validation 3
Prerequisite: __
Corequisite: __
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year)
General Requirements: