Overslaan en naar de inhoud gaan

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
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.

Lees dit PRO artikel gratis

Maak een gratis account aan en geniet van alle voordelen:

  • Toegang tot 3 PRO artikelen per maand
  • Inclusief CTO interviews, podcasts, digitale specials en whitepapers
  • Blijf up-to-date over de laatste ontwikkelingen in en rond tech

Bevestig jouw e-mailadres

We hebben de bevestigingsmail naar %email% gestuurd.

Geen bevestigingsmail ontvangen? Controleer je spam folder. Niet in de spam, klik dan hier om een account aan te maken.

Er is iets mis gegaan

Helaas konden we op dit moment geen account voor je aanmaken. Probeer het later nog eens.

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in

Maak een gratis account aan en geniet van alle voordelen:

Heb je al een account? Log in