Defekter i software viser sig ofte et helt andet sted, end problemet faktisk er opstået. Nu vil forskere fra IT-Universitetet bygge en teknologi, der automatisk finder og diagnosticerer de bagvedliggende fejl i en Linux-installation, fortæller universitetet i en meddelelse.
Projektets grundlæggende idé er ifølge Andrzej Wąsowski ikke ny, men den er ikke tidligere forsøgt udført, eftersom Linux-kernen er teknisk svær at arbejde med.
»Indtil videre har vi kun set mindre forsøg i akademiske laboratorier. I INSIGHT-projektet forsøger vi at overføre dette arbejde til virkelighedens verden ved at arbejde med rigtige softwareingeniører og systemer,« fortæller han til itu.dk.
En gang imellem opstår der fejl i Linux-installationen, f.eks. en Android-telefon, et smart tv eller en netværks-router. Det kan også være internetservere eller bilercomputere, som går i sort.
Der findes værktøjer, der hjælper programmører med at finde ud af, hvor i koden, fejlen er sket, men ofte peger disse kun på symptomet og ikke på de bagvedliggende årsager til fejlen.
I det nye fire-årige forskningsprojekt INSIGHT vil forskere fra IT-Universitetet derfor gøre det lettere for programmører at finde frem til, hvad der rent faktisk forårsager fejl i Linux-baseret software.
»Når software bryder sammen, er det et tegn på, at der er en fejl et sted i koden. Men det interessante er, at årsagen til fejlen ofte skal findes et helt andet sted end der, hvor den manifesterer sig. Derfor er vores tilgang at flytte fokus fra symptomerne til årsagerne ved at skabe et fejlfindingsværktøj, der viser programmørerne, hvordan de kan fixe problemet,« forklarer professor Andrzej Wąsowski, som leder projektet.
Projektet bringer to forskningsområder sammen, som normalt ikke samarbejder – nemlig programanalyse og fejlretning. ITU-forskerne skal samarbejde med forskere Carnegie Mellon University i USA, som har stor ekspertise inden for sidstnævnte.
Desuden vil projektet inddrage Linux Foundation samt udviklere fra Linux-leverandøren Red Hat.
Danmarks Frie Forskningsfond støtter projektet med 6 millioner kroner.
