Sémantika je termín, ktorý v počítačovom programovaní opisuje správanie, ktoré je výsledkom vykonávania konkrétneho programu alebo časti softvéru. Nezamieňať so syntaxou, ktorá v programovaní označuje spôsob, akým je program vyjadrený alebo napísaný. Vo všeobecnosti je jednoduchšie kontrolovať a odstraňovať problémy so syntaxou ako so sémantikou, pretože testovanie všetkých možných podmienok, v ktorých by mohol byť program spustený, je prakticky nemožné.
Technipages vysvetľuje sémantiku
Programy sa testujú pomocou testovacích prípadov – to znamená, že niekto určí možné spôsoby interakcie používateľa s programom, platné aj neplatné. Tieto prípady sa potom vykonajú, aby sa zistilo, ako program reaguje. Ak sémantika nezodpovedá očakávanému alebo požadovanému správaniu, pred vydaním je potrebné niečo zmeniť. Testovanie každého možného scenára by si vyžadovalo obrovské množstvo času a zdrojov, a preto zvyčajne sú spísané najpravdepodobnejšie prípady spolu s tými, ktoré s najväčšou pravdepodobnosťou spôsobia problémy program.
Týmto spôsobom sa čo najrýchlejšie zachytí čo najviac chýb. Ak by chyba syntaxe mohla zabrániť spusteniu programu alebo jeho čiastočné zrútenie, sémantická chyba môže byť oveľa menšia dramatické a niečo také jednoduché ako tlačidlo, ktoré nevykonáva činnosť, na ktorú má, ale niečo iné úplne. Obidva typy chýb je samozrejme potrebné vyriešiť pred vydaním, ale ten druhý je zvyčajne ľahšie prehliadnuť a je ťažšie ho nájsť.
Bežné použitie sémantiky
- Sémantika popisuje procesy, ktoré počítač sleduje pri vykonávaní programu v tomto konkrétnom jazyku.
- Formálna sémantika pomáha lepšie pochopiť, čo program robí.
- Sémantika je štúdium významu programovacích jazykov a toho, ako môžu vzniknúť neúmyselné operácie.
Bežné nesprávne použitie sémantiky
- Sémantika, podobne ako syntax, je termín, ktorý označuje kód programu a výrazy, ktoré ho vytvárajú.