Superscience: Testen en formele methoden vullen elkaar prima aan
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