Development

Software-ontwikkeling
Tanja Vos

Superscience: Testen en formele methoden vullen elkaar prima aan

Twee stromingen moeten nu echt bij elkaar komen.

© Tanja Vos
16 november 2020

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. Bovendien wordt testen eenvoudiger met meer generieke tools voor geautomatiseerd testen. Maar uiteindelijk begint het streven naar robuuste software met duidelijke specificaties en requirements.

Hoe kunnen we testen meer sexy maken, is een belangrijke drijfveer voor Tanja Vos, hoogleraar testen aan de Open Universiteit en universitair docent aan de Universiteit van Valencia. "Doorgaans vinden mensen testen niet zo interessant. Daarom is het aan ons als docenten en onderzoekers om uit te leggen waarom het wél interessant, belangrijk en nodig is."

 
Lees het hele artikel
Je kunt dit artikel lezen nadat je bent ingelogd. Ben je nieuw bij AG Connect, registreer je dan gratis!

Registreren

  • Direct toegang tot AGConnect.nl
  • Dagelijks een AGConnect nieuwsbrief
  • 30 dagen onbeperkte toegang tot AGConnect.nl

Ben je abonnee, maar heb je nog geen account? Laat de klantenservice je terugbellen!