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: | |||||||||||||