WP4: Property based testing of non-functional requirements


Leader: SP Sveriges Tekniska Forskningsinstitut AB

The fourth work package will use property-based testing tools and techniques to test non-functional aspects of systems such as performance and dependability, including fault tolerance, safety and availability. These measurements will not only be absolute, but also relative to competing implementations. We will also develop a cloud testing framework to enable realistic testing of non- functional requirements, including stress testing and testing scalability for deployments of web services.