Semantikk er et begrep som i dataprogrammering beskriver atferden som følger av kjøringen av et bestemt program eller programvare. For ikke å forveksle med syntaks, som i programmering refererer til måten et program uttrykkes eller skrives på. Generelt sett er det lettere å sjekke og feilsøke syntaks enn det er semantikk, ettersom å teste alle mulige tilstander et program kan kjøres i er faktisk umulig.
Technipages forklarer semantikk
Programmer testes ved bruk av testcases – det betyr at noen bestemmer de mulige måtene en bruker kan samhandle med programmet på, både gyldige og ugyldige. Disse sakene blir deretter utført for å se hvordan programmet reagerer. Der semantikken ikke samsvarer med forventet eller ønsket oppførsel, må noe endres før utgivelsen. Det vil ta en enorm mengde tid og ressurser å teste alle mulige scenarioer, og det er derfor vanligvis skrives de mest sannsynlige sakene opp, sammen med de som mest sannsynlig vil forårsake problemer for program.
På den måten blir så mange feil som mulig fanget opp så raskt som mulig. Der en syntaksfeil kan forhindre et program i å kjøre eller krasje det halvveis, kan en semantikkfeil være mye mindre dramatisk, og noe så enkelt som en knapp som ikke utfører handlingen den skal, men noe annet fullstendig. Begge typer feil må selvfølgelig løses før utgivelsen, men sistnevnte er vanligvis lettere å gå glipp av og vanskeligere å finne.
Vanlig bruk av semantikk
- Semantikk beskriver prosessene en datamaskin følger når den kjører et program på det spesifikke språket.
- Formell semantikk bidrar til å bedre forstå hva et program gjør.
- Semantikk er studiet av betydningen av programmeringsspråk og hvordan utilsiktede operasjoner kan oppstå.
Vanlige misbruk av semantikk
- Semantikk, som syntaks, er et begrep som refererer til koden bak et program og uttrykkene som skaper det.