Algorytm jest poprawny, jeżeli rozwiązuje problem zgodnie ze specyfikacją problemu (zadania).
Całkowicie poprawny - dla wszystkich danych wejściowych spełniających warunki początkowe wyprowadzi wyniki spełniające warunki końcowe i obliczenia zostaną zakończone.
Częściowo poprawny - dla obliczeń, które się skończą wyniki są poprawne względem warunków początkowych i końcowych.
Algorytm powinien być dobrze określony i uniwersalny!
Brak komentarzy:
Prześlij komentarz