eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmupoprawność algorytmu
  • Data: 2015-03-23 15:12:22
    Temat: poprawność algorytmu
    Od: j...@p...onet.pl szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    Uczyli mnie na studiach dowodzenia poprawności algorytmów w logice Hoare'a. Jednak
    poprawności trudniejszych algorytmów człowiem nie dowiedzie, a automatyzacja jest
    niemożliwa, bo nie da się zautomatyzować generowania niezmienników. Testowanie
    dowiedzie występowania błędów, ale nie dowiedzie że ich nie ma. Zaprogramowałem
    pewien algorytm w PHP5+MySQL i nie jestem pewien czy jest poprawny. Czy są jeszcze
    jakieś metody weryfikacji poprawności algorytmów poza dowodzeniem i testowaniem?

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: