II/2/1/8 Course on Foundations of Software Testing

Software Testing is a challenging task. Its purpose is validation, verification or falsification. This is difficult, both in theory and in practice. However, widespread use of software, including critical applications, needs an improved systematic discipline of testing that is scientifically justifiable. The course presents the foundations of such a discipline.

The course provides an overview over the techniques and their foundations of modern software testing. Its focus is on specification-based testing that is rarely covered in the testing literature or in computer science curricula. Formal specification techniques are related to standard software testing techniques.

Both functional as well as structural testing methods will be covered. The contents includes

Introduction to Testing
The Oracle Problem
Specification Styles
Boundary Value Testing
Equivalence Class Testing
Robustness Equivalence Class Testing
Decision Table-based Testing
Test Sequencing
Algebraic Testing
Path Testing
Data Flow Testing
Mutation Testing
Industrial Experiences

iistinfo@iist.unu.edu,

Course on Foundations of Software Testing

Model Checking Course

Course Descriptions

Software Development with UML

UNU-IIST Home