JavaScript startede som et scriptingsprog til at lave små interaktive
hjemmesider. Dog udvikles større applikationer, både hjemmesider og
andre applikationer, i stigende grad ved brug af JavaScript. JavaScriptsprogets dynamiske karakter gør det vanskeligt at skabe fornuftige
udviklingsmiljøer med funktioner som automatisk kode-fuldendelse og
kode-navigation. TypeScript er et superset af JavaScript, der udover
JavaScript tilføjer et valgfrit system af statiske typer, der muliggør
funktioner som automatisk kode-fuldendelse, kode-navigation og
detektion af typefejl. Mange TypeScript-applikationer bruger dog stadig
ikke-typede biblioteker skrevet i JavaScript. Udviklere eller brugere af disse
JavaScript-biblioteker kan vælge at skrive TypeScript-deklarationsfiler, der
leverer API-modeller af bibliotekerne og bruges til at kontrollere typerne i
TypeScript-applikationer. Disse deklarationsfiler er dog skrevet manuelt
og ofte ikke af de originale forfattere af biblioteket, hvilket kan medføre
fejltagelser, der kan vildlede TypeScript-applikationsudviklere og i sidste
ende forårsage fejl.
Målet med denne afhandling er at designe automatiserede teknikker
til at assistere i udviklingen af TypeScript-deklarationsfiler. Denne
afhandling identificerer flere udfordringer, som udviklere af TypeScriptdeklarationsfiler står overfor, og håndterer disse udfordringer ved hjælp
af teknikker fra programmeringssprogforskning. Type inferens bruges
til at oprette nye og opdatere eksisterende deklarationsfiler. Automatisk
testning bruges til at opdage fejl i deklarationsfiler. Endeligt bruges
datastrømningsanalyse og et nyt koncept af rimelige-mest-generelle klienter
til at verificere fraværet af fejl i deklarationsfiler. Hver af teknikkerne
bruges til at forbedre kvaliteten af faktisk benyttede deklarationsfiler.