CENG 552

Software Testing

Fundamentals of software testing; software test process and continuous quality improvement; Test generation using finite state models; Test adequacy assessment using black box and white box criteria; applications of model based testing.

Topics
Introduction to software verification and validation
Software testing overview and classifications
Functional(black box) testing I
Functional(black box) testing II
Structural (white box) testing I
Structural (white box) testing II
Mutation testing
Model-based testing
Integration testing
Regression testing
Overview of test case generation
Overview of test processes
Testing tools and test automation
Software reliability modeling