Prof. Rensink breekt lans voor kleine tools
"En dat", zo meent de hoogleraar, "terwijl die kleine tools wel degelijk een rol van belang kunnen spelen in de strijd tegen fouten die optreden in software." Dergelijke tooltjes worden wel eens toegepast, maar in de optiek van Rensink gebeurt dat te weinig. Te vaak blijft het dan bij een eenmalige exercitie, terwijl het tool veel meer potentie heeft. "Een gemiste kans, want zo'n `lelijk eendje' kan uitgroeien tot een mooie zwaan", aldus de hoogleraar.
Shutterstock
Shutterstock
Als voorbeeld noemt Rensink een tool dat GROOVE heet en dat is ontwikkeld in zijn groep, waarmee verificatie van software mogelijk is op basis van de grafentheorie. Grafen vormen een manier van beschrijven van de software, zodat inzicht ontstaat in onder meer de verschillende 'paden' die een computerprogramma kan afleggen. Dan is veel beter te zien waar een programma de mist in gaat.
Tools als deze is helaas vaak maar een kort leven beschoren, en publicaties er over vermelden vooral de behaalde resultaten Rensink: "En daar blijft het bij. Bijvoorbeeld
omdat het nog geen hapklare brokken zijn voor de software-industrie. Het is te academisch, het is niet makkelijk om er gauw een verkoopbaar product van te maken."
Gerelateerde artikelen
Gerelateerde artikelen
Reacties
Om een reactie achter te laten is een account vereist.
Inloggen Word abonnee