Dankwoord - martes

52 HOOFDSTUK 4. REALISATIE IN HAT
Algorithm 1 Algoritme intelligente aanpak gebaseerd op string matching
foreach operation
if(set of postconditions not empty)
foreach postcondition
pat := search for pattern
foreach invariant
find pat
if(found)
print invariant using assert construction
else do nothing
else do nothing
reguliere expressies. Vervolgens gaan we zoeken of dit object (variabele) ook in een van de
klasse-invarianten betrokken is. Indien dat het geval is gaan we deze invariant afdrukken door
gebruik van de assert constructie. We tonen het algoritme in Algorithm1.
Dat kan in sommige gevallen goed werken maar de mogelijkheid voor het afdrukken van dezelfde
invariant meerdere keren in een operatie is niet uitgesloten. Bijgevolg is onze intelligente
aanpak niet meer intelligent.
We willen dit probleem oplossen door in plaats van elke keer de gevonden invariant af te
drukken, gaan we deze in een collectie opslaan en dan duplicaten weghalen. Vervolgens door
het afdrukken van ieder element van deze collectie krijgen we het gewenste resultaat.
4.5 Evaluatie
Voor de evaluatie van dit tool gaan we opnieuw de voorgestelde criteria van hoofdstuk 2
gebruiken. We hebben al in hoofdstuk 2 gezien dat de geëvalueerde tools geen mogelijkheden
aanbieden om aanpassingen en verjningen aan de gegenereerde code uit te voeren. Wat wel
mogelijk is is allen een model en de bijbehorende beperkingen te modelleren en vervolgens code
te genereren. In HAT is wel mogelijk dat een gebruiker stereotypen, regels en constraints en
code specicatie zelf kan denieren. Dit gebeurt met behulp van UML proelen. Eens zijn deze
UML proelen op UML modellen toegepast dan verrijken deze UML proelen de modellen
en bovendien controleren ze of het model met de opgestelde constraints samengaat. UML
proelen kunnen ook verschillende projectproducten opleveren: documenten, testsequenties,
metrieken enz.
Hieronder vatten we alles samen.