SENG 453

Course Code & Number

SENG 453

Course Title

Software Validation and Verification

Level

BS

Credit Hours/ ECTS Credits

(2+0+2) 3 TEDU Credits, 5 ECTS Credits

Pre-requisite / Co-requisite::

Catalog Description

Challenges in software testing. Specification-based testing. Structural testing. Syntax-based testing. Model-based testing. Fault-based testing. Regression testing. Static and dynamic validation techniques. Run-time verification. Test documentation. Management of the testing process. Automated testing tools. Code inspection.