WP2: Dealing with complexity of creating and understanding models


Leader: Universidade da Coruña

The second work package addresses the paradigm shift in moving from traditional testing to property-based testing (PBT) in the domain of web services. Creating properties and writing models is more abstract than writing traditional test cases; we will work with our partners to develop general techniques and methods that can be applied by a wide range of developers in web services and user- interface layer; in addition, we will develop techniques to extract QuickCheck properties from unit tests for web services. Reading properties can be a challenge for newcomers: we will develop graphical and natural language renderings of properties to allow users to understand them more easily.