Cloud Service Quality Control

Introduction

This website grants access to a number of web services for specifying, validating, verifying, and generating tests for cloud software services. These tools were developed for the EU FP7 Broker@Cloud project, to support the continuous quality assurance objective.

Quality Assurance Services

Please navigate to the particular quality assurance service that you would like to use.

The suggested way to use this website is first to visit the Specification page, to learn about the web standard for specifying the functional behaviour of a cloud software service. From there, you may visit the Validation page, to explore how a state-based design is validated. After this, you could visit the Verification page, to explore how the protocol of a service is verified for completeness and consistency. Then, you might visit the Test Generation page, to explore how high-level functional tests may be generated from a cloud service specification.