Zum Ende des vorherigen Kapitels zur Oberflächengestaltung wurde bereits gezeigt, dass es wichtig ist zu überprüfen, ob das entwickelte System die geforderten Eigenschaften erfüllt. Für die reine Funktionalität der Software wurden in der Informatik vielfältige Methoden entwickelt, um sicherzustellen, dass die Anforderungen erfüllt werden. Diese Ansätze werden in diesem Kapitel vorgestellt. Neben dem reinen Ausprobieren, dessen Ansatz man auch systematisieren kann, gibt es weitere Ansätze, die die Qualität der Software erhöhen können. Dabei spielt hauptsächlich das Qualitätsmerkmal der Korrektheit eine Rolle. Bei der Korrektheit muss man sich fragen „Korrekt bezüglich was?“, da eine Aussage „Das System ist korrekt.“ allein wenig Sinn macht. Korrektheit bezieht sich immer auf vorher gestellte Anforderungen. Nur wenn Anforderungen präzise gestellt werden, kann man die Frage, ob ein System die Anforderungen erfüllt, klar mit „ja“ oder „nein“ beantworten. Zentrale Aussage dieses Kapitels ist, dass man mit Tests nur nachweisen kann, dass diese Tests in gewünschter Form ablaufen können. Es wird damit nicht bewiesen, dass das System fehlerfrei ist. Durch die systematische Auswahl von Tests kann man die trotzdem noch möglichen Fehler begrenzen und validieren, dass die Nutzerwünsche erfüllt sind.