Volgens recent onderzoek veroorzaken softwarebugs 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 zogenoemde 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.
De Pi-Pop is een e-bike zonder de gewone energiecellen. Hij werkt op kracht zonder lithium-ion,…
Straling vanuit de ruimte is een uitdaging voor kwantumcomputers, omdat hun rekentijd beperkt wordt door…
Na meer dan 40 jaar voor KSB te hebben gewerkt, gaat directeur Nico Gitz binnenkort…
3T Electronics & Embedded Systems, onderdeel van de Kendrion Group, heeft een nieuwe locatie in…
Een nieuw huisbeveiligingssysteem schiet indringers de tuin uit met paintballs of traangas. Het is te…
Om ervoor te zorgen dat er steeds meer hernieuwbare waterstof wordt geproduceerd in Nederland en…