Course
| code | SE497 |
| credit_hours | 3 |
| title | Software Verification and Validation |
| arbic title | |
| prequisites | SE291 |
| credit hours | 3 |
| Description/Outcomes | This course will address topics in the verification and validation (V&V) of software. Verification addresses issues related to whether the system is correct (with respect to some specification), validation addresses the question whether the right system was built. An in-depth study of verification and validation strategies and techniques as they apply to the development of quality software. Topics include test planning and management, testing tools, technical reviews, formal methods, and the economics of software testing. The relationship of testing to other quality assurance activities as well as the integration of verification and validation into the overall software development process are also discussed. |
| arabic Description/Outcomes | |
| objectives | |
| arabic objectives | |
| ref. books | |
| arabic ref. books | |
| textbook | |
| arabic textbook | |
| objective set | |
| content set | |