Lektionsindhold -- Tastaturgenvej: 'u'  Forrige side: Hvordan håndterer vi fejl? -- Tastaturgenvej: 'p'  Næste side: Validering af brugerinput -- Tastaturgenvej: 'n'  Forelæsningsnoter - alle slides sammen  Alfabetisk indeks  Hjælp om disse noter  Kursets hjemmeside    Fejl, Debugging, Test og Dokumentation - slide 7 : 25

Korrekthed - assertions

Det er muligt at 'forsyne' et program med logiske udtryk (assertions), som fortæller os om programmet opfører sig, som vi forventer

Facilitet som stilles til rådighed af assert.h

my-sqrt-incorrect.c
En forkert implementation af my_sqrt.
my-sqrt-incorrect-output
Program output.
my-sqrt.c
En brugbar - men primitiv - implementation af my_sqrt implementeret via rodsøgningsfunktionen.
root-assertions.c
En udgave af findRootBetween med præbetingelse og postbetingelse.