eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmuRe: poprawność algorytmu
  • Data: 2015-03-25 23:07:52
    Temat: Re: poprawność algorytmu
    Od: Andrzej Jarzabek <a...@g...com> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    On 25/03/2015 20:06, j...@p...onet.pl wrote:
    >>>> Sugerujesz że są programy które po podaniu specyfikacji wejścia i wyników oraz
    podaniu niemienników dowodzą automatycznie poprawności?
    >> Nie wiem jak to zabrzmialo, ale nic takiego nie zamierzałem sugerować.
    >> Po prostu ręczne nafaszerowanie programu asercjami, to pomocna metoda
    >> w usuwaniu błędów.
    >
    > Pomysł z asercjami jest chyba tym co mi jest potrzebne. Dzięki.

    Tyle że asercje nie są formalnym dowodem, a jedynie kolejnym rodzajem testu.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: