Typeanalyse af PHP-scripts: Type analysis of PHP scripts

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

Studenteropgave: Semesterprojekt

Abstrakt

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.

UddannelserBasis - Naturvidenskabelig Bacheloruddannelse, (Bachelor uddannelse) Basis
SprogDansk
Udgivelsesdato1 jun. 2005
VejledereMads Rosendahl

Emneord

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