Dr. Salamah Salamah  

Office phone: (915)-747-6671   Email: isalamah@utep.edu

CS 5387 Software Integration and V&V

Course Description

This course provides an in-depth study of software validation and verification. Topics include the limits of testing, professional responsibility and liability, testing, management of the testing process, automated testing tools, coverage metrics, software quality, non-testing quality assurance, static and dynamic validation techniques, inspections, audits, test planning.

Course Material

• Course Syllabus
• IEEE Standard for Software VeriÞcation and Validation Plans
• IEEE Standard for Software Test Documentation
• IEEE Standard for Software Quality Assurance Plans
• Software Inspection Module (archived file)

Lecture Slides and other Material

• Lecture 1 - Introduction

• Lecture 2 - Software Inspections

• Lecture 3 - Verification and Testing - White-box Testing

• Lecture 4 - Black-Box Testing (part 1)

• Lecture 5 - Black-Box Testing (part 2)

• Lecture 6 - Test-Driven Development

• Lecture 7 - Integration Testing

• Lecture 8 - System Testing

• Lecture 9 - Software Formal Specifications

• Lecture 10 - Software Formal Verification

• Lecture 11 - Software Tracing