Představuješ si to logicky, ale to co popisuješ, je syntaxe, tedy že jsou příkazy správně zapsány. Tahle kontrola probíhá defakto u všech programů při kompilaci (převod do binární podoby, např .exe ) nebo spuštění. A umí to i editory, takže ta kontrola probíha při psaní programu, podobně jako ve Wordu kontrola pravopisu. Bohužel, stejně tak jako ti kontrola pravopisu nedokáže vyhodnotit, že ta věta dává smysl (sémantika), nebo obsahuje správné informace, nedokáže tohle ani kompilátor. 

Je to něco jako když napíšeš: "Kelímek jogurtu řídil auto." Syntakticky je ta věta správně, je tam podmět, přísudek, předmět, má správný slovosled. Ale je to blbost :)

Nebo když ti žena napíše sms "Kup cestou z práce 6 rohlíků", ale překlepla se v textu a chtěla 9 rohlíků. Věta je správně syntakticky i sémanticky, ale obsahuje nesprávnou hodnotu, protože uživatel/programátor se překlepl, ale tak, že to nemělo vliv na běh programu, ale funkcionalita je chybná. 

Tyhle věci se testují, je na to přímo určitý způsob programování, TDD (Test driven development), kdy přímo s programem, nebo jeho částí (to většinou) píše programátor i test, kde si nadefinuje, jak to nad testovacími daty má dávat výsledky a při každé změně v programu tyto testy spustí. Když neprojdou, provede opravy v programu a zase spustí ty testy a tak pořád dokola, než to projde všemi testy. Pak se testují jednotlivé celky, těch metodik je spousta a testování SW je podobor IT sám o sobě. Viz https://cs.wikipedia.org/wiki/Testov%C3%A1n%C3%AD_softwaru