An Erlang-Based Framework for the Automatic Testing of Web Services
summary
Framework reads a WSDL, uses xmerl to parse types, and automatically generates PropEr generators from WSDL types plus test files that call operations via Yaws SOAP, so response testing is fully automatic (no user code) and runs the default 100 randomized tests. Property-based checks require only authoring the property; the system finds minimal counterexamples via shrinking (examples shown after 32 and 52 tests) and even exposes a Yaws crash during demo. Currently supports WSDL/SOAP; REST work is planned.
AI-written summary · about
chapters (19)
- 0:00Intro
- 0:31Overview
- 1:52Property-based testing
- 4:35Testing simple properties (1)
- 5:01Testing simple properties (2)
- 7:22PropEr integration with simple types
- 7:57PropEr shrinking
- 12:26PropEr integration with types
- 13:44Integration with recursive types
- 16:59PropEr testing of web services
- 21:51WSDL specification
- 22:32WSDL types
- 23:38A example explained (2)
- 25:02Invoking web services with Yaws
- 26:25Automatic creation of generators
- 27:05Generators for the cooking example
- 28:03Automatic response testing
- 38:20Automatic response test for delete
- 39:08Semi-automatic property testing
related talks
39mPROWESS: Property-Based Testing for Web Services
45mFuzz Testing Web APIs: Overview of Existing Tools
07mNew Ideas: Automated Engineering of Metamorphic Testing Environments for Domain-Specific Languages
45mTesting Web Services with QuickCheck
16mEywa: Automating Model-Based Testing using LLMs
35mEvolution of a RESTful Testing Framework
46mProperty-based testing:You won't look at your tests the same way ever again
21mErly Marsh - a Model-Based Testing Tool