sv.onlinewebcreations.com

Kvaliteten på mjukvaran är ett smutsigt problem. Om fel uppstår eller om programvaran är helt oförståelig är det ofta för sent och skadan har redan drabbats. Nya, automatiserade tekniker för att analysera programvara och garantera kvalitet är därför brådskande, berättar partid professor Automated Software Analysis Jurgen Vinju i sin inledande föreläsning nästa fredag.

Utför programvaran alltid policyen eller inte? Läcker denna programvara eventuellt personliga uppgifter? Och hur mycket kostar det att justera denna programvara? Det här är frågor som förblir nästan obesvarade för stora mjukvarusystem. Programvarans enorma komplexitet gör det omöjligt att se fel och göra justeringar utan att det är tydligt vilka konsekvenser de har för kvalitet.

oundviklig
"Att mjukvarusystem är ofta så stora och komplicerade är en nästan oundviklig effekt när man skapar programvara", säger Jurgen Vinju, deltidsprofessor i Automated Software Analysis vid matematik och datavetenskap. Enligt Vinju är kvaliteten på programvaran helt enkelt inte garanterad vid denna tidpunkt. På grund av den höga komplexiteten är dessutom underhållskostnaderna inte av frågan: mer än hälften av kostnaderna för programvara spenderas på underhåll.

Gör det inte
Vinju uppmanar regeringen och andra parter att vara medvetna om denna verklighet och att andra ska bedöma mjukvarans kvalitet än sin egen leverantör. "Och gör bara inte saker", säger Vinju. "Inget sårbart smart energinät, till exempel, använder inte röstdatorer och lagrar inte personliga citotestresultat på en webbserver."

Skörd och såning
Enligt Vinju måste lösningen sökas i bättre automatiserad mjukvaruanalys. Fredagen den 12 februari diskuterar han nya tekniker och verktyg för att automatisera analysen av programvara och vilka utmaningar spelar en roll i denna föreläsning. Vinju argumenterar för betydande investeringar i källkod och systemanalys, förutom de relativt lätt existerande mjukvarubaserade innovationerna. Vinju: "Kanske skördar nu vad vi redan har, men även sågar för en bättre framtid nu."

Bio
Jurgen Vinju (1977) fick doktorsexamen 2005 vid University of Amsterdam. Som gästforskare fick han erfarenhet av Alcatel-Lucent Bell Labs och IBM TJ Watson Research. Sedan 2012 är han gruppledare för Research Analysis and Transformation (SWAT) vid Centrum Wiskunde & Informatica. Från och med 1 september 2014 utnämndes han som deltidsprofessor i automated software analysis vid TU / e-institutionen för matematik och datavetenskap.

Top