Typeanalyse af PHP-scripts: Type analysis of PHP scripts

Lars H Nielsen, Regin G Hansen, Andreas E Jensen & Tonny E Larsen

Student thesis: Termpaper

Abstract

Oversættere til programmeringssprog som for eksempel C/C++ og Java har en indbygget statisk typekontrol. Denne typekontrol sørger for at analysere programmer for typefejl. Formålet med den statiske typekontrol er at typede programmeringssprog bidrager til, at der forekommer færre køretidsfejl i programmer sammenlignet med utypede programmeringssprog. Det undersøges i rapporten i hvilket omfang statisk typekontrol kan overføres til et utypet scriptsprog. Undersøgelsen er udført ved at skrive et program som udfører en statisk typekontrol af PHP-programmer. Programmet har været udsat for en række testkørsler for at belyse styrker og svagheder ved statisk typekontrol af utypede scriptsprog. Vi konkluderer, at vi i samme omfang som statisk typekontrol for typede sprog, kan anvende statisk typekontrol til at analysere scriptsprog med dynamisk typekontrol for typefejl. Det sker dog på bekostning af fleksibilitet i de utypede scriptsprog.

EducationsBasic - Bachelor Study Program in Natural Science, (Bachelor Programme) Basic
LanguageDanish
Publication date1 Jun 2005
SupervisorsMads Rosendahl

Keywords

  • datalogi
  • typer
  • typesystemer
  • programmeringssprog
  • oversætter
  • PHP
  • typekontrol
  • typeudledning
  • typerekonstruktion