Błędy semantyczne¶

Trzecim i ostatnim rodzajem błędów są błędy semantyczne. Objawiają się tym, że program wykonany jest poprawnie, w tym sensie że nie zwraca błędów. Aczkolwiek, jego wynik będzie inny od oczekiwanego przez programistę.

Problem stanowi treść programu, która odbiega od zamierzonej, tj. jej sens jest sematycznie niezgodny z założonym rozumowaniem. Identyfikacja tego rodzaju błędów wymaga śledzenia danych wyjściowych programu i analizy wstecznej jego przebiegu.

Sprawdź swoją wiedzę