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](https://static.agconnect.nl/cropped/773b20ae-62ca-5899-aa9c-af1fea8276ca/article/08/7c/087c4364-8692-461b-a096-ddf639599adb/opening_image/opening_image_hero/tanja_vos.jpg)
© 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.