Frisse blik: ‘Groot gat tussen wetenschap en praktische toepassing’
Soms is het testen van softwareprogramma’s niet voldoende om geen softwarefouten in de code te garanderen. Verificatie van software biedt een betere garantie, zegt Sophie Lathouwers, PhD-onderzoeker aan de Universiteit van Twente. Toch wordt de techniek amper in de industrie toegepast. En dat is jammer, vindt Lathouwers. Zij richt haar onderzoek op de praktische toepasbaarheid van verificatie.
Een voorbeeld dat Lathouwers noemt is de problematiek die vliegtuigbouwer Boeing had met de 737 MAX. Op het controleproces van de vliegtuigbouwer komt vanuit verschillende kanten kritiek. “Het is aannemelijk dat Boeing door verificatie softwareproblemen had kunnen voorkomen”, zegt ze.