Contract-testing