Met Pareon Verify stort Vector Fabrics zich op runtime foutopsporing in embedded software. Volgens ceo Martijn Rutten kan het nieuwe gereedschap out of the box miljoenen regels C, C++ of C++11 met de meest exotische constructies analyseren en vindt het daarbij bugs die door alle gebruikelijke tests en statische controles heen glippen.
Vorig jaar achtte een Amerikaanse jury automaker Toyota schuldig aan plotselinge oncontroleerbare versnellingen van zijn Camry-modellen met verschillende dodelijke ongelukken als gevolg. Bij de totstandkoming van dit oordeel was een belangrijke rol weggelegd voor een verklaring van Michael Barr, een expert in veiligheidskritieke systemen die als een van de weinigen de broncode van Toyota mocht inzien. Hij laat, kort door de bocht, geen spaan heel van de softwarekwaliteit.
‘Barr heeft een overzicht gemaakt van alle fouten die hij is tegengekomen: geheugen benaderen buiten de grenzen van een array, geheugenlekken, niet-geïnitialiseerde geheugenposities uitlezen, racecondities, deadlocks. Allemaal ‘Heisenbugs’: soms treden ze op, soms niet, afhankelijk van het dynamische gedrag van de software. Allemaal fouten ook die onze nieuwe tool eruit zou hebben gehaald’, stelt ceo Martijn Rutten van Vector Fabrics, specialist in de verificatie van complexe software.
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.
