How do you make sure the contracts you defined for your software components using Design by Contract (DbC) are being tested at some point?
Shall I write unit tests for every single contract I define?
One benefit I see in DbC vs. isolated testing of single units is that I'm able to make sure the contract works between real collaborators. But how can I make sure the contracts are being tested before I rollout the software?