Mar 28, 2024  
2020-2021 Graduate Catalog 
    
2020-2021 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

SWE 6673:Software Testing and Verification

3 Class Hours 0 Laboratory Hours 3 Credit Hours
Prerequisite: SWE 6623  and SWE 6613  
This course covers concepts, principles, and techniques related to software testing and formal program verification. The course defines the concept of quality in software developments and product and explains how to develop a quality/test plan.The notion of validation and verification is explained in the context of different testing techniques, which include black box testing and white box testing, and other techniques such as inspection and formal verification. The emphasis of the course is on testing techniques, ranging from unit testing to regression testing.



Add to Portfolio (opens a new window)