Systeem verhelpt softwarebugs automatisch met behulp van machine learning

php-code

Een nieuw systeem maakt het mogelijk fouten in de code van software geautomatiseerd te verhelpen. Het systeem maakt hiervoor gebruik van machine learning.
Het systeem is ontwikkeld door onderzoekers van MIT. Door gebruik te maken van machine learning kan het systeem analyseren hoe bugs in open source projecten zijn opgelost. Deze kennis kan het systeem vervolgens inzetten om bugs in andere software geautomatiseerd op te lossen. Het systeem heet Prophet.

Nauwkeuriger dan bestaande systemen

Nieuw zijn systemen voor het geautomatiseerd oplossen van softwarefouten overigens niet. Bestaande systemen zijn echter niet erg nauwkeurig en kunnen dan ook lang niet alle fouten in software daadwerkelijk oplossen. Prophet gaat naar verluidt een stuk nauwkeuriger te werk en kan dan ook meer softwarebugs verhelpen dan andere systemen.
Dit blijkt ook uit een praktijktest die onderzoekers van MIT hebben uitgevoerd. Hierbij werden 69 softwarebugs voorgelegd aan zowel Prophet als andere bestaande systemen. Afhankelijk van de tijd die Prophet kreeg wist het systeem 15 tot 18 fouten op te losse. Ter vergelijking: bestaande systemen kwamen niet verder dan 1 of 2 bugs.

Paper

Meer informatie over het systeem is te vinden in de paper 'Automatic Patch Generation by Learning Correct Code'.

Lees ook
Smart Coding automatiseert verwerking van niet-PO-facturen

Smart Coding automatiseert verwerking van niet-PO-facturen

Basware introduceert Smart Coding, een oplossing waarmee gebruikers de factuurverwerking van niet-PO-facturen kunnen automatiseren. Smart Coding is ontworpen om gebruikers te helpen met coderen wanneer er geen inkooporder beschikbaar is. De oplossing identificeert automatisch de juiste kostenallocatie, wat de factuurverwerking versneld. Het vinden...

DevSecOps specialist DBmaestro haalt 4,5 miljoen dollar op bij investeerders

DevSecOps specialist DBmaestro haalt 4,5 miljoen dollar op bij investeerders

DBmaestro, leverancier van DevOpsSec oplossingen voor databasetechnologie, maakt bekend 4,5 miljoen dollar te hebben gehaald tijdens een investeringsronde. Zowel Vertex Ventures als de bestaande investeerders Stage 1 Ventures, Lool Ventures en iAngels steken geld in het bedrijf. De investering helpt het bedrijf zijn een nieuwe reeks database-automatiseringsoplossingen...

13 handige tools voor container management en automatisering

13 handige tools voor container management en automatisering

Containers zijn de toekomst van virtualisatie. Dit voorspelt 451 Research in een recente analyse van de containermarkt. Met de groeiende omarming van containers wordt het efficiënt kunnen integreren en beheren van containertechnologieën dan ook steeds belangrijker. Welke tools zijn er inmiddels beschikbaar voor container management en automatisering?Kubernetes...