Re: poprawność algorytmu - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › poprawność algorytmu › Re: poprawność algorytmu

X-Received: by 10.140.94.105 with SMTP id f96mr40302qge.36.1427121427545; Mon, 23 Mar
2015 07:37:07 -0700 (PDT)
X-Received: by 10.140.94.105 with SMTP id f96mr40302qge.36.1427121427545; Mon, 23 Mar
2015 07:37:07 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!newsfeed.pionier.net.pl!news.glorb.com!z20no3656895igj.0!n
ews-out.google.com!q90ni526qgd.1!nntp.google.com!z107no4304752qgd.0!postnews.go
ogle.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Mon, 23 Mar 2015 07:37:07 -0700 (PDT)
In-Reply-To: <4...@g...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=178.36.122.220;
posting-account=xjvq9QoAAAATMPC2X3btlHd_LkaJo_rj
NNTP-Posting-Host: 178.36.122.220
References: <4...@g...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <3...@g...com>
Subject: Re: poprawność algorytmu
From: "M.M." <m...@g...com>
Injection-Date: Mon, 23 Mar 2015 14:37:07 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:207659
[ ukryj nagłówki ]

On Monday, March 23, 2015 at 3:12:25 PM UTC+1, j...@p...onet.pl wrote:
> 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?

A ręczne wpisywanie niezmienników?
Pozdrawiam