Superscience: Testen en formele methoden vullen elkaar prima aan
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 testen – voorstaat. Sterker nog, testen en formele methoden zijn complementair en kunnen eigenlijk niet goed afzonderlijk worden gedaan.
© Tanja Vos
Tanja Vos
Bovendien wordt testen eenvoudiger met meer generieke tools voor geautomatiseerd testen. Maar uiteindelijk begint het streven naar robuuste software met duidelijke specificaties en requirements.