Semantika je izraz, ki v računalniškem programiranju opisuje vedenja, ki so posledica izvajanja določenega programa ali dela programske opreme. Ne smemo zamenjati s sintakso, ki se v programiranju nanaša na način, kako je program izražen ali napisan. Na splošno je sintakso lažje preveriti in odpraviti težave kot pa semantiko, saj je testiranje vseh možnih pogojev, v katerih bi se program lahko izvajal, dejansko nemogoče.
Technipages pojasnjuje semantiko
Programi se testirajo z uporabo testnih primerov – to pomeni, da nekdo določi možne načine, kako bi uporabnik lahko komuniciral s programom, tako veljavne kot neveljavne. Ti primeri se nato izvedejo, da se vidi, kako se program odziva. Kjer se semantika ne ujema s pričakovanim ali želenim vedenjem, je treba pred izdajo nekaj spremeniti. Za testiranje vseh možnih scenarijev bi bilo potrebno ogromno časa in sredstev, zato običajno so napisani najverjetnejši primeri, skupaj s tistimi, ki najverjetneje povzročajo težave program.
Tako se čim hitreje ujame čim več napak. Kjer bi lahko sintaksična napaka preprečila zagon programa ali se delno zrušila, je lahko semantična napaka veliko manjša dramatično in nekaj tako preprostega, kot je gumb, ki ne izvaja dejanja, ki naj bi ga izvajal, ampak nekaj drugega popolnoma. Obe vrsti napak je treba seveda odpraviti pred izdajo, vendar je slednjo običajno lažje spregledati in težje najti.
Pogosta uporaba semantike
- Semantika opisuje procese, ki jih računalnik sledi pri izvajanju programa v tem določenem jeziku.
- Formalna semantika pomaga bolje razumeti, kaj program počne.
- Semantika je preučevanje pomena programskih jezikov in kako lahko nastanejo nenamerne operacije.
Pogoste zlorabe semantike
- Semantika je, tako kot sintaksa, izraz, ki se nanaša na kodo za programom in izraze, ki ga ustvarjajo.