Poprawność częściowa

0

Jeżeli program jest poprawnie napisany dla wszystkich danych wejściowych oraz jeśli robi dokładnie to, co chcemy, to oczywiste jest dla mnie, iż nazywa się to poprawnością całkowitą.

Ale jakoś nie mogę (czyt. mózg mi się zatrzymuje), gdy czytam wikipediową definicję poprawności częściowej. Czy to po prostu chodzi o to, że ten program musi nie działać w 100% tak jak chcemy? Bo tę częściową poprawność tylko tak rozumiem.

A tak w ogóle to brnę przez Harela Rzecz o istocie informatyki. Nie dałem rady i wszedłem do wikipedii;-))

"Algorytm A jest częściowo poprawny względem danego warunku WP i danego warunku WK wtedy i tylko wtedy, gdy dla dowolnych danych wejściowych spełniających warunek WP, jeżeli algorytm A zatrzymuje się, to dane wyjściowe algorytmu spełniają warunek WK."

1 użytkowników online, w tym zalogowanych: 0, gości: 1