Poprawność algorytmów

1.Algorytm jest poprawny, jeżeli dla poprawnych danych daje poprawne wyniki ( dla dowolnej kombinacji danych wejściowych spełniających warunki początkowe algorytm wyprowadzi wyniki spełniające warunki końcowe).

Algorytm jest poprawny, jeżeli rozwiązuje problem zgodnie z specyfikacją problemu (zadania).

2.Algorytm jest całkowicie poprawny, jeśli dla wszystkich danych wejściowych spełniających warunki początkowe wyprowadzi wyniki spełniające warunki końcowe i obliczenia zostaną zakończone.

3.Algorytm jest częściowo poprawny, jeśli dla obliczeń,które się skończą,ich wyniki są poprawne względem warunków początkowych i końcowych. ( nie jest konieczne wykazanie,że obliczenia kończą się dla wszystkich poprawnych danych).

4.Algorytm uniwersalny, to algorytm, który umożliwia rozwiązanie dowolnego zadania z pewnej klasy zadań. Przykładem może być algorytm sortowania,który umożliwia uporządkowanie dowolnego ciągu danych.

Ponadto poprawny algorytm powinien być dobrze określony i uniwersalny (występują polecenia i operacje zrozumiałe dla użytkowania).

5.Błędy:

• logiczne ( błędne użycie instrukcji programu) - powoduje,że nie dla wszystkich poprawnych danych program generuje poprawne wyniki, w celu wykrycia tych błędów programy poddaje się testowaniu, polegającemu na sprawdzaniu, czy dla określonych danych program generuje określone wyniki.
• kompilacji (składowe)