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. | |||||||||||||
|
|||||||||||||
Prerequisite: __ | |||||||||||||
Corequisite: __ | |||||||||||||
ECTS Credit: 10 ECTS (10 ECTS for students admitted before 2013-14 Academic Year) | |||||||||||||
General Requirements: | |||||||||||||