Met de introductie van ondersteuning voor het Design by Contract pradigma in .NET maakt het .NET ontwikkelplatform in mijn ogen een revolutie door! Waar we tot op heden alleen nog maar type en interface definities konden maken, is het met de komst van DbC mogelijk om ook state- en gedragsdefinities op te nemen.

Als we kijken naar C# kunnen we in een objecten model gedragingen implementeren. Dit doen we door interfaces en types te defineren. Tijdens compilatie valideert de compiler onze implementatie op basis van de type specificatie. Het is tot op heden echter nog niet mogelijk om ook gedragspecificaties te valideren. Hiervoor gebruiken we Unit Tests. Deze tests moeten we zelf schrijven, zijn tijdrovend, repeterend en foutgevoelig. Met de komst van DbC kunnen we ook gedragspecificaties maken. Deze specificaties zullen tijdens compilatie gevalideerd worden en daarmee kunnen we bewijzen dat onze software bug vrij is!

Hoe dit precies in zijn werk gaat, wat dit betekend voor je architectuur en of dit Unit Testing overbodig maakt zal ik laten zien tijdens deze presentatie.