Forsker får IBM-legat på 30.000 dollars

Anders Møller, lektor på Datalogisk Institut, Aarhus Universitet, har netop modtaget en ”IBM Faculty Award” på 30.000 dollars for sin forskning inden for programanalyse – en hastigt voksende metode til at undgå fejl i blandt andet webapplikationer.

Af Katrine Hald Kjeldsen

Flere og flere systemer kører over nettet. Netbutikker, homebanking, auktioner, fildeling og intranet er bare nogle få eksempler. Det er systemer, der anvendes dagligt af et utal af mennesker, og derfor skal der luges så grundigt ud i fejl som overhovedet muligt, inden sådan et system sættes i drift. Den gængse metode er at teste softwaren igen og igen, men hvis man supplerer med programanalyse, får man mange fordele. Det er det, Anders Møller forsker i. Og det har IBM fået øjnene op for.

Samarbejde gav anerkendelse

Der er stor konkurrence om IBM Faculty Awards. Priserne gives som anerkendelse af forskning, der er betydningsfuld for it-industrien. Det er kun ansatte på IBM, der kan indstille forskere til prisen. I Anders Møllers tilfælde var det ansatte på en IBM Research-gruppe, der beskæftiger sig med netop programanalyse, der indstillede ham til prisen:

- Det er rart, at de synes, at mine resultater er så gode, at de vil belønne mig på denne måde og støtte mit videre arbejde, fortæller Anders Møller.

Errorspotting

Men hvad er så programanalyse mere nøjagtigt? Den korte version er, at det er software designet til at afprøve andet software ud fra forskellige korrekthedskriterier. Og det er en form for fejlfinding, der vinder frem. Det oplagte spørgsmål er så, om ikke bare programanalyse skal erstatte den gode gamle test-metode. Men svaret er et klart nej: De to metoder er nemlig stærke på hver deres måde.

Anders Møller uddyber:

- Det er et vigtigt område af datalogien at undgå fejl i programmer. Almindelig test kan kun påvise, at der er fejl. Men der er aldrig sikkerhed for, at der ikke er flere fejl. Måske kunne testen bare ikke finde dem. Med programanalyse kan du have vished om, at der ikke findes flere fejl inden for den klasse, du undersøger, forklarer Anders Møller. Derfor skal de to metoder supplere hinanden.

Anders Møller forventer, at pengene skal bruges til konferencerejser og løn til en studenterprogrammør – og derved støtte den videre forskning i avanceret fejlfinding.