Skip to main content
TR EN
CS 439 Software Verification and Validation
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.
SU Credits : 3.000
ECTS Credit : 6.000
Prerequisite : -
Corequisite : -