In de praktijk wordt de kwaliteit van software bewaakt door de software uitgebreid te testen. Maar een programma uitputtend testen is meestal onmogelijk. Je vindt dus niet alle fouten! Omdat de mensen steeds afhankelijker van software zijn geworden, moeten we gaan kijken naar een betere manier om de betrouwbaarheid van software te garanderen.

In dit college gaan we programeerlogica leren. Het is een methode om een programma correct aan te tonen zonder wij de programma hoeven te testen. De methode is volledig: een correct aangetoond programma voldoet echt aan zijn specificatie. Er zijn geen sluipende fouten meer! Het ontwikkelen van betrouwbare software kost eenmaal meer moeite. Het principe van programmerlogica is eenvoudig, maar het uitoefenen daarvan eist veel abstractie en dicipline, wat je ook tijdens de cursus gaat oefenen.

 

http://www.cs.uu.nl/education/vak.php?vak=INFOPC&jaar=2008