Voert de software altijd het beleid uit of juist niet? Lekt deze software mogelijk persoonlijke gegevens? En hoeveel gaat het straks kosten om deze software aan te passen? Het zijn vragen die nu nog vrijwel onbeantwoord blijven voor grote softwaresystemen. De enorme complexiteit van software maakt dat het zicht op fouten ontbreekt en aanpassingen gemaakt worden zonder dat duidelijk is welke consequenties deze hebben voor de kwaliteit.
"Dat softwaresystemen vaak zo groot en ingewikkeld zijn, is een bijna onvermijdbaar effect bij het maken van software", zegt Jurgen Vinju, deeltijdhoogleraar Automated Software Analysis aan de faculteit Wiskunde en Informatica. Volgens Vinju is de kwaliteit van software op dit moment gewoonweg niet te garanderen. Bovendien rijzen onderhoudskosten door de hoge complexiteit de pan uit: meer dan de helft van de kosten voor software gaat op aan onderhoud.
Vinju adviseert de overheid en andere partijen om bewust te zijn van deze realiteit en anderen de kwaliteit van de software te laten beoordelen dan de eigen leverancier. "En sommige dingen gewoon niet doen", vindt Vinju. "Geen kwetsbaar smart energy grid bijvoorbeeld, geen stemcomputers gebruiken en geen persoonlijke cito-toetsresultaten op een webserver opslaan".
Volgens Vinju moet de oplossing gezocht worden in betere geautomatiseerde software-analyse. In zijn oratie ging hij in op nieuwe technieken en gereedschappen om de analyse van software te automatiseren en welke uitdagingen hierin een rol spelen. Vinju pleit voor fors investeren in broncode- en systeemanalyse, naast de relatief gemakkelijke bestaande software-gebaseerde innovaties. Vinju: "Nu wellicht oogsten wat we al hebben, maar ook nu zaaien voor een betere toekomst."
Jurgen Vinju (1977) promoveerde in 2005 aan de Universiteit van Amsterdam. Hij deed als gast-onderzoeker ervaring op bij Alcatel-Lucent Bell Labs en IBM TJ Watson Research. Sinds 2012 is hij groepsleider van de onderzoeksgroep Software Analysis and Transformation (Swat) van het Centrum Wiskunde & Informatica. Per 1 september 2014 is hij aangesteld als deeltijdhoogleraar Automated Software Analysis aan de faculteit Wiskunde en Informatica van de TU/e.
De beroemde humanoïde robot Atlas is met pensioen gegaan. De hydraulische versie tenminste, want zijn…
Er komt geld voor vier jaar onderzoek door promovendi op het gebied van biotechnologie en…
De massaproductie van siliciumchips vindt plaats in foundries. Volgens KU Leuven en imec is dit…
Pacemakers, defibrillatoren, radartechnologie en elektrische voertuigen hebben allemaal condensatoren nodig. Deze elektrische componenten moeten veel…
Het verstandshuwelijk van fiets en trein. Daarover gaat het promotieonderzoek van de 70-jarige Jan Ploeger.…
Heilind Electronics Europe wil zijn aanwezigheid in West-Europa uitbreiden. De verdeler van elektromechanische componenten, verbindings-…