Funktioner
- slide 26 : 26
Assertions
Det er muligt at 'dekorere' et program med logiske udtryk (assertions), som fortæller os om programmet opfører sig som vi forventer
To specielt interessante assertions:
Præbetingelse af en funktion
: Fortæller om det giver mening at kalde funktionen
Postbetingelse af en funktion
: Fortæller om funktionen returnerer et korrekt resultat
En forkert implementation af my_sqrt.
En brugbar implementation af my_sqrt implementeret via rodsøgningsfunktionen.
En udgave af findRootBetween med præbetingelse og postbetingelse.
![Forrige side: Korrekthed af programmer [Section] -- Tastaturgenvej: 'p'](./images/nav-left.gif "Forrige side: Korrekthed af programmer [Section] -- Tastaturgenvej: 'p'")
