SENG 453

Course ID:

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

Year of Study:

Semester:

Type of Course:

Mode of Delivery:

Language of Instruction:

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.

Course Objectives

Software Usage

Course Learning Outcomes

Learning Activities and Teaching Methods:

Assessment Methods and Criteria:

Assessment Methods and Criteria Others:

Design Content

Recommended Reading

Required Reading

Grading

Learning Activities and Teaching Methods Others:

Course Coordinator:

Student Workload:

Workload	Hrs

Course & Program Learning Outcome Matching: