Dankwoord - martes

Recommendations

Info

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.
4.5. EVALUATIE 53 Id Criteria Opmerking Ondersteuning 1 invarianten Ja 2 pre-, postcondities Ja 3 attributen, Ja associaties 4 collecties Voor ieder collectieiterator Ja een nieuwe methode 5 @pre Neen 6 result Neen 7 assertion Ja 8 slimme controle Ja klasse invarianten Tabel 4.1: Evaluatie van HAT
Page 1 and 2:
Dankwoord Ik wil alle mensen bedank
Page 3 and 4:
INHOUDSOPGAVE iii 3 Methodologie 17
Page 5 and 6:
L¼st van guren 1.1 Relatie tussen
Page 7 and 8: Hoofdstuk 1 Inleiding 1.1 Situering
Page 9 and 10: 1.2. PROBLEEM BESCHRIJVING 3 1.2 Pr
Page 11 and 12: 1.4. DOELSTELLINGEN 5 • Ten vierd
Page 13 and 14: Hoofdstuk 2 State-of-the-art De Obj
Page 15 and 16: 2.1. EVALUATIECRITERIA 9 2.1.6 Asse
Page 17 and 18: 2.2. TOOLS 11 alleen maar invariant
Page 19 and 20: 2.2. TOOLS 13 compleet systeem als
Page 21 and 22: 2.2. TOOLS 15 Indien het sleutelwoo
Page 23 and 24: Hoofdstuk 3 Methodologie In dit hoo
Page 25 and 26: 3.1. DESIGN BY CONTRACT 19 Het prin
Page 27 and 28: 3.2. BESCHRIJVING VAN DE METHODOLOG
Page 43 and 44: 3.3. NAÏEVE AANPAK 37 Listing 26 S
Page 45 and 46: 3.3. NAÏEVE AANPAK 39 Listing 30 v
Page 47 and 48: 3.4. INTELLIGENTE AANPAK 41 Figuur
Page 49 and 50: 3.5. EVALUATIE 43 3.4.4.1 Inkapseli
Page 51 and 52: 3.5. EVALUATIE 45 Figuur 3.2: Klass
Page 53 and 54: 4.1. HAT 47 Figuur 4.1: Architectuu
Page 55 and 56: 4.2. RUN-TIME OCL NAAR JAVA 49 Figu
Page 57: 4.3. NAÏEVE AANPAK IN HAT 51 van d
Page 61 and 62: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 63 and 64: 5.2. VERTALING MET BEHULP VAN HAT 5
Page 65 and 66: Hoofdstuk 6 Besluit MDD zou moeten
Page 67 and 68: 6.4. TOEKOMSTIG WERK: UITBREIDINGEN
Page 69 and 70: Bibliograe [1] A.Kleppe, J.Warmer,
show all

Dankwoord - martes

Create successful ePaper yourself

Delete template?

Save as template?