Tema: Fra manuelle brugertest over automatiseret test til modelverifikation. I dag eksisterer der forskellige måder at sikre et systems robusthed og korrekthed.