Błędy semnatyczne w programowaniu

Question

Wiem co to jest semantyka. To jest znajomość tego co robi dana instrukcja w języku programowania. Tylko bardziej chodzi mi o interpretacje tego

Wykrywanie niespójności semantycznych opiera się na znajomości przywoływanych obiektów, w szczególności na znajomości atrybutów tych obiektów i relacji między nimi.

i tego

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.

mógłbym prosić o pomoc gdyż jestem początkujący. Dziękuje

Answer 1

@Chess, twój przykład to błąd składniowy - zestawie poprawnych wyrażeń języka nie ma defg, lecz jest def. Błędem semantycznym będzie np. próba wywołania nie istniejącej funkcji. W twoim przykładzie zdefiniowałeś funkcję makeColor(), zatem próba wywołania funkcji makeColors() da błąd semantyczny - nazwa funkcji jest prawidłową nazwą dopuszczalną w języku, ale nie ma ona znaczenia dla programu (nie istnieje dla niego).

Comments

Ogólnie głupot nie napisałem.

Mógłbym naciągnąć do:

defg - definicja grupy funkcji

def - definicja zwykłej funkcji

Litera "g" od razu mówi, co będzie robić konstrukcja języka i jaką pełni rolę.

https://4programmers.net/Forum/Newbie/256023-czym_jest_semantyka_w_programowaniu?p=1163037#id1163037

---

Można zatem powiedzieć że semantyka odnosi się do znaczenia poszczególnych instrukcji np.if, for, while. Do znaczenie to mam na myśli za co jest odpowiedzialna każda z tych instrukcji, co robi

Answer 2

Semantyka w Programowaniu

Po zrozumieniu słowa kluczowego semantyka, nie będziesz miał kłopotów, wystarczyło zapytać encyklopedii. Masz ją nawet na szafie, taką niebieską cegłę.

defg makeColor()

def makeColor()

Błąd w nazwie przy definiowaniu funkcji. W języku ABC słowo kluczowe, to def, a nie defg.

Comments

No dobra ale gdybyś swoimi słowami miał skomentować to

Wykrywanie niespójności semantycznych opiera się na znajomości przywoływanych obiektów, w szczególności na znajomości atrybutów tych obiektów i relacji między nimi.

i to

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.

to co byś powiedział.

---

4p, ładnie wyjaśnione.

Semantyka, to przypisanie roli konkretnej konstrukcji.

prints Hello World;

Wypisz typ string.

show (1,2,3);

Przypisuję konstrukcji show rolę odpalania kolejno w kodzie funkcji, nie po nazwie.

show nie ma "zaimka", czy post imka, jak showf, lecz w dokumentacji jest opisane, co wyłącznie do jakich zadań ma służyć show.

I teraz jak napiszę show (&, g);, to popełniłem błąd semantyczny, bo zmuszam show, żeby wypisał na wyjście &g, natomiast nie jest od tego. Zakończy się błędem, show only agreement on calling given functions/methods.

---

@Chess, totalne bzdury sematyka dotyczy języka ... i jego sposobu wyrażania a nie to  czy "napiszesz wyrażenie tak czy inaczej" to jest niższy poziom abstrakcji, więc jeśli nie wiesz ... to nie pisz bzdur 

---

No zgoda. Nie musi być prints, może być print, print_any, tak dla wizualizacji. Porównując do HTML, footer to stopka, czyli dół strony, a prints to wypisywanie stringa.

---

print nie może być bo jest kluczowe... w semantyce pythona np uznane to będzie za złamanie zasady

Answer 3

Ok. A czy w takim bądź razie błąd semantyczny objawia się tym że wynik który zostanie zwrócony będzie się nieznacznie różnił od tego co chciał otrzymać ostatecznie programista czy będzie się objawiał tym że otrzyma zupełnie coś innego.

let tablicaLiczb = [1,2,3,4,5];

for(let i = 1; i < tablicaLiczb.length; i++){

      console.log(tablicaLiczb[i]);

}

i otrzymuje coś takiego

2

3

4

5

,a spodziewałem się jakiegoś komunikatu błędu bo tu
 

for(let i = 1; i < tablicaLiczb.length; i++)

zmiast zaczynać od 0 czyli tak
 

for(let i = 1; i < tablicaLiczb.length; i++)

zaczynam od 1.

Comments

totalnie nie, nie musi się zaczynać od 0, może od każego innego elementu ... równie dobrze może być zależne od innej zmiennej, bo to ty definiujesz pętle ... i to ty nadajesz jej warunki semantyka nie określa tego jak działa wyrażenie pętli tzn, po czym iteruje, jak iteruje i na jakich elementach 

semantyce podlega to że "for" jest zarezerwowane dla pętli - to nazwa pętli, nie możesz zatem mieć zmiennej var for; 

---

ok dzięki

---

@maxkolanko1998, to z kolei błąd algorytmu, który zastosowałeś.