PROWESS: Property-Based Testing for Web Services
summary
EU‑funded PROWESS spends three years building a toolchain that actually applies property based testing to real web services and demonstrates it on the production VoDKATV system from Interoud Innovation. The stack centers on QuickCheck and includes JSONGen and WSDL→generators, model inference (Sinaps, James) and visual model differencing, cloud load runs with MegaLoad, mutation and MCDC coverage with Me2 and Smother, and a MoreBugs workflow that generalizes counterexamples so fixes catch more faults.
AI-written summary · about
chapters (23)
- 0:00Intro
- 3:32System Development
- 4:30ReadSpec
- 5:20Good Examples
- 6:10Inference Tools
- 7:20Web Services Tools
- 9:33Mutation Testing
- 10:35Complexity Check
- 11:08Ranker
- 12:45Vodka TV
- 13:37Components
- 14:50Tools
- 16:00WS Toolkit
- 17:05Megaload
- 17:53SignApps
- 23:28Example
- 24:39Unit Tests
- 25:39Web Services
- 26:39Scaling
- 28:07More Bugs
- 29:33Graphical Editing
- 31:04Mutation Testing Coverage
- 33:38Continuous Integration
related talks
45mTesting Web Services with QuickCheck
43mAn Erlang-Based Framework for the Automatic Testing of Web Services
51mProperty-Based Testing
46mProperty-based testing:You won't look at your tests the same way ever again
58mProperty Based Testing: Concepts and Examples
30mProperty Based Testing: From Theory to Practice
21mProperty-based testing - let your testing library work for you
30mProperty-based Testing for Godly Tests