Development

Software-ontwikkeling
Frisse blik: ‘Groot gat tussen wetenschappelijke oplossing en praktische toepassing’

Frisse blik: ‘Groot gat tussen wetenschap en praktische toepassing’

PhD-onderzoeker hoopt dat toepassen van formele methoden makkelijker wordt voor groter publiek.

21 mei 2020

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

 
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!