Semantik er et begreb, der i computerprogrammering beskriver den adfærd, der er et resultat af udførelsen af et bestemt program eller stykke software. Ikke at forveksle med syntaks, som i programmering refererer til den måde et program udtrykkes eller skrives på. Generelt er det nemmere at kontrollere og fejlfinde syntaks, end det er semantik, da det faktisk er umuligt at teste alle mulige tilstande, et program kan køre i.
Technipages forklarer semantik
Programmer testes ved brug af testcases - det betyder, at nogen bestemmer de mulige måder, en bruger kan interagere med programmet på, både gyldige og ugyldige. Disse sager udføres derefter for at se, hvordan programmet reagerer. Hvor semantikken ikke matcher den forventede eller ønskede adfærd, skal noget ændres inden udgivelsen. Det ville tage en enorm mængde tid og ressourcer at teste alle mulige scenarier, og det er derfor normalt er de mest sandsynlige sager skrevet op sammen med dem, der mest sandsynligt vil forårsage problemer for program.
På den måde bliver så mange fejl som muligt fanget så hurtigt som muligt. Hvor en syntaksfejl kunne forhindre et program i at køre eller nedbryde det halvvejs, kan en semantikfejl være meget mindre dramatisk, og noget så simpelt som en knap, der ikke udfører den handling, den skal, men noget andet helt. Begge typer fejl skal selvfølgelig løses inden udgivelsen, men sidstnævnte er normalt lettere at gå glip af og sværere at finde.
Almindelig brug af semantik
- Semantik beskriver de processer, en computer følger, når den udfører et program på det specifikke sprog.
- Formel semantik hjælper til bedre at forstå, hvad et program laver.
- Semantik er studiet af betydningen af programmeringssprog, og hvordan utilsigtede operationer kan opstå.
Almindelig misbrug af semantik
- Semantik er ligesom syntaks et begreb, der refererer til koden bag et program og de udtryk, der skaber det.