Property-based Testing Tutorial Workshop 2009, Stockholm
13 Nov 2009 to 13 Nov 2009
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 .
