Dankwoord - martes

Hoofdstuk 3
Methodologie
In dit hoofdstuk bespreken we eerst wat Design By Contract (DBC) is. Hier worden klasseinvarianten,
pre- en postcondities grondig uitgelegd. Verder leggen we uit hoe DBC in programmeertalen
zoals JAVA kan gesimuleerd worden die per denitie geen expliciete ondersteuning
van DBC heeft. Na deze inleiding over DBC gaan we uitleggen welke aanpakken we
in deze thesis hebben gebruikt om de doelstellingen te kunnen bereiken. De eerste aanpak
is redelijk naïef. Deze aanpak is eenvoudig maar veroorzaakt in sommige gevallen veel overhead.
Een tweede aanpak die we ontwikkeld en bestudeerd hebben, noemen we de intelligente
aanpak. Deze is meer eciënt dan de naïeve aanpak ten opzichte van de uitvoeringstijd maar
tegelijkertijd is de complexiteit van de structuur die uiteindelijk de broncode gaat genereren
ook verhoogd.
3.1 Design By Contract
Desing By Contract [25] is een methode voor het ontwikkelen van kwaliteitssoftware bedacht
door Bertrand Meyer. DBC focusseert zich op het maken van software contracten op een
expliciete en formele manier. Deze software contracten speciceren wat elke operatie in een
systeem van de oproeper vereist en wat aan de oproeper gegarandeerd wordt.
De denitie van een contract is in het DBC principe afgeleid van de notie van een contract.
Een contract is een wettelijke overeenkomst tussen twee partijen waarin beide partijen alle
verbintenissen aanvaarden. In termen van object-georiënteerde ontwikkeling is een contract
een middel om de verantwoordelijkheden van objecten op een precieze en niet ambigu manier
vast te leggen. Een object is aansprakelijk voor het uitvoeren van diensten (verplichten) enkel
en alleen als sommige voorwaarden voldaan zijn. Een contract is een nauwkeurige specicatie
van de interface van een object. Alle objecten die gebruik willen maken van de aangeboden
diensten heten klanten of consumenten. Het object dat deze diensten aanbiedt noemt men de
leverancier of producent.
Alhoewel de notie van contract afkomstig van de rechten praxis is, wijkt het contract beetje af
wanneer het men in de context van object-georiënteerde ontwikkeling neerzet. Namelijk een
contract is aangeboden door een leverancier al dan niet een klant aanwezig is. Echter als een
klant gebruik van de aangeboden diensten in een contract maakt, verplicht de klant zich aan
de voorwaarden in het contract.
17