Dankwoord - martes

INHOUDSOPGAVE
iii
3 Methodologie 17
3.1 Design By Contract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3.1.1 Klasse-invarianten . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.2 Precondities en postcondities . . . . . . . . . . . . . . . . . . . . . . . . 18
3.1.3 Assertions in Java . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.1.3.1 Waarom assertie gebruiken? . . . . . . . . . . . . . . . . . . . . 19
3.2 Beschrijving van de methodologie . . . . . . . . . . . . . . . . . . . . . . . . . . 20
3.2.1 Vertaling van attributen en associaties . . . . . . . . . . . . . . . . . . . 20
3.2.2 Vertaling van OCL operaties over basistypen . . . . . . . . . . . . . . . 21
3.2.2.1 Boolean type . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.2.2.2 Real en Integer types . . . . . . . . . . . . . . . . . . . . . . . 22
3.2.2.3 String type . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.2.3 Vertaling van OCL collectieoperaties . . . . . . . . . . . . . . . . . . . . 23
3.2.3.1 Eenvoudige collectieoperaties . . . . . . . . . . . . . . . . . . . 24
3.2.3.2 Collectieiteratoren . . . . . . . . . . . . . . . . . . . . . . . . . 24
3.2.3.3 Inkapseling van sjablonen voor collectieoperaties in JAVA methoden
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2.4 Vertaling van OCL if-then-else expressies . . . . . . . . . . . . . . . . 32
3.2.5 Vertaling van OCL let expressies . . . . . . . . . . . . . . . . . . . . . . 33
3.2.6 Vertaling van klasse-invarianten . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.7 Vertaling van pre- en postcondities . . . . . . . . . . . . . . . . . . . . . 34
3.2.8 Vertaling van meer geavanceerde constructies . . . . . . . . . . . . . . . 35
3.2.8.1 Vertaling van het sleutelwoord @pre . . . . . . . . . . . . . . . 35
3.2.8.2 Het sleutelwoord result . . . . . . . . . . . . . . . . . . . . . 36
3.3 Naïeve aanpak . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.3.1 Vertaling van invarianten . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.3.1.1 Inkapseling van een invariant in een booleaanse methode . . . 37
3.3.1.2 Inkapseling van alle klasse-invarianten in een gemeenschappelijke
methode . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.3.2 Vertaling van pre- en postcondities . . . . . . . . . . . . . . . . . . . . . 38
3.4 Intelligente aanpak . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.4.1 Het Idee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.4.2 Graafconstructie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.4.3 String matching . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42