Dankwoord - martes

3.5. EVALUATIE 43
3.4.4.1 Inkapseling van een invariant in een booleaanse methode
Inkapseling van klasse-invarianten bij het gebruik van de intelligente aanpak verschilt niet
van de inkapseling van klasse-invarianten bij het gebruik van de naïeve aanpak. Elke klasseinvariant
is in een booleaanse methode ingebakken. Voor meer informatie verwijzen we naar
sectie 3.3.1.1
Wat hier meer aandacht vereist is de inkapseling van de relevante klasse-invarianten in een
gemeenschappelijke booleaanse methode. Dat gaan we hieronder bespreken.
3.4.4.2 Inkapseling van alle relevante klasse-invarianten in een gemeenschappelijke
booleaanse methode
Bij de naïeve aanpak hebben we gezien dat alle klasse-invarianten in een gemeenschappelijke
methode ingepakt waren door een conjunctie van deze te nemen.
Een mogelijke oplossing voor de intelligente aanpak is opnieuw een conjunctie van de relevante
klasse-invarianten te nemen die vervolgens in een gemeenschappelijke methode ingekapseld
worden. Het bepalen van de verzameling van relevante klasse-invarianten hangt af van de
postconditie of de implementatie van een publieke methode. Wat een nadeel hier kan zijn
is dat we telkens voor elke operatie een gemeenschappelijke methode zullen hebben die een
conjunctie van de bijbehorende relevante klasse-invarianten zou bevatten. Daarom stellen we
hieronder een andere oplossing voor.
Een tweede oplossing is om in plaats van een conjunctie van alle relevante klasse-invarianten
te nemen, voegen we elke relevante klasse-invariant op het einde van een methode toe door
gebruik van de assert constructie te maken. Met andere woorden zijn de relevante klasseinvarianten
bij een operatie niet in een gemeenschappelijke methode ingepakt. Op deze manier
verwijderen we de overhead van generatie van methoden die de geldigheid van klasseinvarianten
voor elke operatie gaan controleren.
3.4.5 Vertaling van pre- en postcondities
Voor de vertaling van pre- en postcondities van een methode verwijzen we naar 3.3.2. Het
enige verschil dat hier zou kunnen zijn is dat de gemeenschappelijke methode omtrent het
nagaan van klasse-invarianten op basis van subsectie 3.4.4.2 zou gegenereerd worden. Met
andere woorden kunnen we ofwel een conjunctie van de relevante klasse-invarianten nemen
ofwel de relevante klasse-invarianten afdrukken door de assert constructie te gebruiken.
3.5 Evaluatie
In deze sectie zullen we de naïeve en de intelligente aanpak evalueren in functie van uitvoeringstijd.
Om dat te kunnen doen hebben we een klein lopend voorbeeld bedacht (zie Figuur
3.1). Daarna hebben we manueel de code met de bijbehorende beperkingen voor de naïeve en
de intelligente aanpak gemodelleerd.