Uploaded December 2018 | Updated September 2026, 3 weeks ago
Loosely coupled systems (a.k.a. distributed systems / microservices) are gaining more and more traction. This implies that there is a growing demand to automatically and reliably ensure that these modular systems play nicely together. The current industry-strength approach for testing the APIs between components is Consumer-Driven Contract Testing (CDCT). Despite its unquestionable improvements over naive integration tests, it still has a number of weaknesses.
This talk points out these weaknesses and shows how we can go beyond CDCT by leveraging modelling in combination with an approach borrowed from formal methods.
Loosely coupled systems (a.k.a. distributed systems / microservices) are gaining more and more traction. This implies that there is a growing demand to automatically and reliably ensure that these modular systems play nicely together. The current industry-strength approach for testing the APIs between components is Consumer-Driven Contract Testing (CDCT). Despite its unquestionable improvements over naive integration tests, it still has a number of weaknesses.
This talk points out these weaknesses and shows how we can go beyond CDCT by leveraging modelling in combination with an approach borrowed from formal methods.
