Computerondersteund redeneren: de boekhouder steunt de denker
Computers maken fouten. Soms zijn dat vervelende fouten waardoor gebruikers zich ergeren of werk verliezen, maar soms zijn het grote fouten, waardoor grote sommen geld verloren gaan of mensen zelfs hun leven kunnen verliezen. Hoe voorkomen we deze fouten? Door de software en hardware op een gedegen manier te ontwikkelen en de gewenste eigenschappen te verifiëren. Er zijn veel methoden om software en hardware te verifiëren, bijvoorbeeld door middel van testen.

Shutterstock
Shutterstock