Tijdens Bits&Chips Smart Systems lanceert Vector Fabrics vandaag zijn dynamische codeanalysetool Pareon Verify. Het gereedschap bekijkt hoe software zich gedraagt wanneer deze daadwerkelijk wordt uitgevoerd, en vindt zo fouten die met gangbare tests en statische controles erg moeilijk zijn op te sporen. Met het nieuwe product richt het bedrijf uit Zaltbommel zich vooral op embedded software van auto’s, vliegtuigen, medische apparatuur, netwerkapparatuur en smart tv’s.
Een belangrijk type dynamische softwarefouten zijn de zogenaamde ‘Heisenbugs’, genoemd naar het onzekerheidsprincipe van de Duitse natuurkundige Heisenberg, omdat ze soms wel en soms niet optreden. Door hun ongrijpbare karakter kan het erg veel tijd kosten om ze te reproduceren, en nog veel langer duren om ze te verhelpen. ‘Pareon Verify geeft voor elke Heisenbug exact aan waar de oorzaak ligt’, stelt ceo Martijn Rutten van Vector Fabrics. ‘Hiermee weet de programmeur ook direct hoe de fout opgelost moet worden.’
De Verify-tool is het tweede product in de Pareon-familie van Vector Fabrics. Het andere is het Profile-gereedschap, dat ontwikkelaars vertelt hoe zij hun software het best kunnen parallelliseren voor optimale prestaties op multicore architecturen. ‘Beide zijn eigenlijk heel mooi complementair’, vindt Rutten. ‘Pareon Profile geeft inzicht in hoe je je software moet verbeteren, en als je dat dan doet, laat Pareon Verify je zien of je dat goed hebt gedaan of niet.’
This article is exclusively available to premium members of Bits&Chips. Already a premium member? Please log in. Not yet a premium member? Become one for just €20 for the first year and enjoy all the benefits.
