eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmupoprawność algorytmu
  • X-Received: by 10.140.94.170 with SMTP id g39mr1400433qge.34.1427119942814; Mon, 23
    Mar 2015 07:12:22 -0700 (PDT)
    X-Received: by 10.140.94.170 with SMTP id g39mr1400433qge.34.1427119942814; Mon, 23
    Mar 2015 07:12:22 -0700 (PDT)
    Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!news.supermedia.pl!news.nask.pl!news.nask.org.pl!newsfeed.pionier.net.
    pl!news.glorb.com!z20no3647249igj.0!news-out.google.com!q90ni526qgd.1!nntp.goog
    le.com!z107no4300309qgd.0!postnews.google.com!glegroupsg2000goo.googlegroups.co
    m!not-for-mail
    Newsgroups: pl.comp.programming
    Date: Mon, 23 Mar 2015 07:12:22 -0700 (PDT)
    Complaints-To: g...@g...com
    Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=83.31.201.165;
    posting-account=Fd8BNwoAAACl8PCi6-fI0bkHGOgt6LMa
    NNTP-Posting-Host: 83.31.201.165
    User-Agent: G2/1.0
    MIME-Version: 1.0
    Message-ID: <4...@g...com>
    Subject: poprawność algorytmu
    From: j...@p...onet.pl
    Injection-Date: Mon, 23 Mar 2015 14:12:22 +0000
    Content-Type: text/plain; charset=ISO-8859-2
    Content-Transfer-Encoding: quoted-printable
    Xref: news-archive.icm.edu.pl pl.comp.programming:207658
    [ ukryj 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: