Supervisors: dr. ir. Tom Verhoeff

Testing plays an important role at ASML. Test frameworks have become so complex, with dozens of interrelated parameters, that formal interface definitions are indispensable. The input communicated across such an interface is called a configuration. This thesis introduces the Configuration Language based on feature models. The config-uration language can be used to formally define the interface of a test application in the form of a so-called configuration model. The configuration model characterizes the set of all valid configurations for a test application. Model-driven software engineering is applied to generate the tools to create, edit, validate and load configurations that conform to a configuration model. Validation constraints are incorporated to allow for early validation that can be performed before running experiment