On Wed, 18 Aug 2010, Maciej Sobczak wrote:

>>> Czesciowa poprawnosc oznacza, ze JESLI program w ogole da jakies
>>> wyniki, to beda one poprawne. W szczegolnosci czesciowa poprawnosc nie
>>> chroni przed zapetleniem sie.
>>
>> ale program zapetlony nigdy nie zwroci wyniku, z czego wynika ze nie moze
>> byc poprawny
>
> Skoro nigdy nie zwroci wyniku, to znaczy, ze nigdy nie zwroci blednego
> wyniku. To bardzo dobry program. :-)

Moze i bardzo dobry ale niepoprawny:-) skoro czesciowa poprawnosc ma
oznaczac, ze W OGOLE zwraca jakis wynik. Program zapetlony nie zwroci. Juz
w tym watku zwrocono juz uwage na pomieszanie pojec algorytmu, co do
ktorego mozna mowic o poprawnosci, z jego implementacja. Niemniej mysle
jednak, ze to ma sens - czesciowa poprawnosc implementacji oznaczalaby, ze program
zwroci wynik, ktory moze
byc niezgodny do konca z wymaganiem funkcjonalnym ale nie bedzie to np.
wyjatek. Musze przyznac, ze czesto mam do czynienia z tak rozumianymi
czesciowo poprawnymi programami:)