CWI-onderzoeker Stijn de Gouw heeft een nieuwe techniek ontwikkeld voor het opsporen van bugs in software geschreven in objectgeoriënteerde talen zoals Java. In een eerste test stelde de techniek de correctheid vast van complexe software van e-commerce softwarebedrijf SDL Fredhopper. De Grouw 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.
Volgens recent onderzoek veroorzaken software 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 en het programma stopt zodra een ernstige fout optreedt. 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 door slim gebruik te maken van een zogenaamde attributengrammatica.
De nieuwe techniek is getest in samenwerking 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 was in staat cruciale en complexe onderdelen van het Fredhopper Access Server (FAS) te 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.
Proefschrift: Combining Monitoring with Run-time Assertion Checking
Door: Stijn de Gouw (Universiteit Leiden en CWI)
Promoters: Prof. dr. F.S. de Boer (CWI en UL) and dr. M. Bonsangue (CWI en UL)
Date: 18 december 2013, 10.00h
Place: Academiegebouw Universiteit Leiden
16 mei 2024 Praktische en interactieve workshop met Nigel Turner Data-gedreven worden lukt niet door alleen nieuwe technologie en tools aan te schaffen. Het vereist een transformatie van bestaande business modellen, met cultuurverandering, een heront...
29 - 31 mei 2024Praktische driedaagse workshop met internationaal gerenommeerde spreker Alec Sharp over herkennen, beschrijven en ontwerpen van business processen. De workshop wordt ondersteund met praktijkvoorbeelden en duidelijke, herbruikbare rich...
3 t/m 5 juni 2024Praktische workshop met internationaal gerenommeerde spreker Alec Sharp over het modelleren met Entity-Relationship vanuit business perspectief. De workshop wordt ondersteund met praktijkvoorbeelden en duidelijke, herbruikbare richtl...
10 t/m 12 juni 2024 Praktische workshop Data Management Fundamentals door Chris Bradley - CDMP-examinatie optioneel De DAMA DMBoK2 beschrijft 11 disciplines van Data Management, waarbij Data Governance centraal staat. De Certified Data Managem...
14 juni 2024 (halve dag online) Praktische en interactieve workshop met Nigel Turner In ons digitale tijdperk willen veel organisaties datagedreven worden en investeren zij fors in nieuwe technologieën om dit mogelijk te maken. Maar deze ...
17 t/m 19 juni 2024Praktische driedaagse workshop met internationaal gerenommeerde trainer Lawrence Corr over het modelleren Datawarehouse / BI systemen op basis van dimensioneel modelleren. De workshop wordt ondersteund met vele oefeningen en prakti...
15 oktober 2024 Workshop met BPM-specialist Christian Gijsels over AI-Gedreven Business Analyse met ChatGPT. Kunstmatige Intelligentie, ongetwijfeld een van de meest baanbrekende technologieën tot nu toe, opent nieuwe deuren voor analisten met i...
17 oktober 2024 Praktische workshop Datavisualisatie - Dashboards en Data Storytelling. Hoe gaat u van data naar inzicht? En hoe gaat u om met grote hoeveelheden data, de noodzaak van storytelling en data science? Lex Pierik behandelt de stromingen i...
Deel dit bericht