In 2007 the ProTest Consortium was established with a financial contribution from the European Commission to help fund the project. This project aims to support industry to maintain 5-nines (99.999%) reliability in future service-oriented networks and systems. Testing of complex systems is extremely difficult and time-consuming. In order to deliver dynamic services and interoperable network applications with guaranteed properties, the project focuses on testing around these properties.

The project will deliver methods and tools to support property-based development of systems.

Property-driven development is a powerful new mechanism for gaining assurance of system reliability and functionality. However, in order to deliver its full benefits we need tools to integrate property-based testing into the development life cycle.

Project Goals

• develop software engineering approaches to improve reliability of service-oriented networks
• support fault-finding and diagnosis based on specified properties of the system
• build automated tools that will generate and run tests, monitor execution at run-time, and log events for analysis.

On Friday 13th November, there was a workshop of tutorials on Property-based testing, conducted as part of the ProTest Project. Presentation slides from the tutorials are now available here .