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 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.
https://www.agconnect.nl/artikel/superscience-testen-en-formele-methoden-vullen-elkaar-prima-aan