Twee stromingen moeten nu echt bij elkaar komen. Het onderwijs leerde studenten jarenlang programmeren zonder al te veel aandacht te besteden aan testen. Bij vakken over softwarecorrectheid en -kwaliteit lag het accent op formele methoden. Aandacht voor formele methoden hoeft echter niet te betekenen dat je testen laat, is de aanpak die Tanja Vos – hoogleraar […]
Lees verder… from Superscience: Testen en formele methoden vullen elkaar prima aan