Deel dit artikel
-

Onderzoek maakt automatisch debuggen van software stuk sneller

Tukaram Muske, promovendus aan de Technische Universiteit Eindhoven, heeft technieken ontwikkeld die het debuggen van software een stuk simpeler moet maken.

Statische code-analyse, waarbij softwareprogramma’s automatisch worden gecontroleerd zonder ze daadwerkelijk te draaien, is een belangrijke techniek om veelvoorkomende (mogelijke) programmeerfouten op te sporen en te rapporteren. Probleem is dat deze tools regelmatig valse alarmmeldingen geven.

Het verminderen van het aantal statische analysemeldingen is een belangrijke uitdaging, waar zowel de academische wereld als de industrie aan werkt. Eén mogelijke oplossing is het negeren van een subset van de meldingen, maar dat is niet ongevaarlijk, omdat je zo kritische fouten kan missen. Muske pakt het probleem van de grote aantallen meldingen daarom anders aan: hij analyseert ze nadat ze zijn gegenereerd, door middel van postprocessing.

Deel dit bericht

Plaats een reactie

Uw e-mailadres wordt niet op de site getoond