Promovendus vindt fouten in Java
In een eerste test stelde de techniek de correctheid vast van complexe software van e-commerce softwarebedrijf SDL Fredhopper. De Gouw verdedigt zijn proefschrift Combining Monitoring with Run-time Assertion Checking op 18 december 2013 aan de Universiteit Leiden. Zijn onderzoek is uitgevoerd op het CWI en het Leiden Institute of Advanced Computer Science (LIACS) van de Universiteit Leiden
Shutterstock
Shutterstock
Bugs kosten veel geld
Volgens recent onderzoek van de Universiteit van Cambridge veroorzaken bugs jaarlijks voor 312 miljard dollar aan schade. Het voorkomen, isoleren en oplossen van bugs is daarom van groot belang. Eén methode om dit te doen is Run-Time Checking, een techniek die fouten opspoort tijdens het draaien van de code.
Combinatie van methoden
In objectgeoriënteerde talen zoals Java communiceren objecten met elkaar via berichten. Voor zulke talen controleert Run-Time Checking ofwel of de objecten in de juiste volgorde communiceren (Monitoring) ofwel of de inhoud van de berichten correct is (Run-Time Assertion Checking). De techniek die De Gouw heeft ontwikkeld met behulp van metaprogrammeertaal Rascal, combineert deze twee benaderingen op een unieke manier.
Samenwerking
De nieuwe techniek is getest met SDL Fredhopper, een e-commerce softwarebedijf dat achter de schermen van meer dan 300 van de grootste webshops ter wereld actief is. De methode kon cruciale en complexe onderdelen van het Fredhopper Access Server (FAS) testen, een softwaresysteem dat IT-services voor zoekopdrachten en merchandise biedt aan e-commercebedrijven. Het was de eerste keer dat de correctheid van deze software kon worden vastgesteld.
Gerelateerde artikelen
Gerelateerde artikelen
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee