Integration av dynamiska och statiska program i stor skala
- Diarienummer
- SM13-0054
- Start- och slutdatum
- 140301-161231
- Beviljat belopp
- 543 000 kr
- Förvaltande organisation
- Uppsala University
- Forskningsområde
- Informations-, kommunikations- och systemteknik
Summary
Företag använder allt mer en typ av programspråk kallad "skriptspråk" för effektiv och snabb utveckling. Skriptspråk är ofta en möjliggörande teknik under ett företags eller tjänst uppstartstid, men när mjukvara växer och mognar blir växer negativa faktorer som dålig prestanda, energieffektivet och quality of service. Målet med denna forskning är att utveckla metoder och verktyg för att förenkla övergången från "skript till program", vilket kräver ökad förståelse för hur skriptspråk används i praktiken. Sökanden söker medel för att bäddas på deltid under två år i ett företag där skriptspråkens nackdelar tagit överhanden. Genom att studera dess kodbas, kodmönster och genom en orsaksanalys tillsammans med dess ingenjörer och programmerare kommer vi att utveckla tekniker för verifiering för skriptspråk som kan användas med existerande kod utan att kräva stora förändringar, likaså tekniker för effektiv kompilering och exekvering. Där det blir nödvändigt kommer vi också att utveckla tekniker för automatisk översättning från skriptspråk till systemspråk. Utöver lärdomarna från en omfattande studie av en stor och kritisk kodbas i ett skriptspråk av intresse för forskare, språkdesigners och utvecklare av kompilatorer och exekveringsmiljöer, kommer vi att utveckla verktyg av nytta för forskare i fältet såväl som företag där skriptspråk har slutat vara en möjliggörande teknik.
Populärvetenskaplig beskrivning
Företag använder allt mer en typ av programspråk kallad "skriptspråk" för effektiv och snabb utveckling. Skriptspråk är ofta en möjliggörande teknik under ett företags eller tjänst uppstartstid, men när mjukvara växer och mognar blir växer negativa faktorer som dålig prestanda, energieffektivet och quality of service. Inte sällan sker då ofta en återgång eller övergång till mer traditionella programspråk, en åtgärd som är felbenägen, kostsam och komplicerad då hundratusentals- till miljontals instruktioner skall skrivas om och struktureras upp på ett annat sätt. Målet med denna forskning är att utveckla metoder och verktyg för att förenkla övergången från "skript till program", vilket också kräver ökad förståelse för hur skriptspråk används i praktiken. Projektet avser studier av användande av skriptspråk i ett företag där skriptspråkens nackdelar tagit överhanden. Genom att studera företagets kodbas, kodmönster och genom en orsaksanalys tillsammans med dess ingenjörer och programmerare kommer vi att utveckla tekniker för verifiering för skriptspråk som kan användas med existerande kod utan att kräva stora förändringar, likaså tekniker för effektiv kompilering och exekvering. Där det blir nödvändigt kommer vi också att utveckla tekniker för automatisk översättning från skriptspråk till systemspråk. Utöver lärdomarna från en omfattande studie av en stor och kritisk kodbas i ett skriptspråk av intresse för forskare, språkdesigners och utvecklare av kompilatorer och exekveringsmiljöer, kommer vi att utveckla verktyg av nytta för forskare i fältet såväl som företag där skriptspråk har slutat vara en möjliggörande teknik.