Pattern Based GUI Testing Modeling Environment

This paper presents a modeling environment (ME) developed for a Domain Specific Language (PARADIGM) which aims to support the construction of models to be used in the context of Model Based GUI Testing (MBGT). It starts by briefly presenting PARADIGM which aims to increase the level of abstraction of the models and promote reuse in order to diminish the effort in building models for MBGT. Afterwards, it describes the architecture of the ME, how the constraints of the language are enforced within the ME to ensure the consistency of the models built, the test case configuration of the model elements, the test case generation algorithm and how the ME can be extended/adapted to include additional features.