Re: Pytanie do fanow Test Driven Design i XP - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › Pytanie do fanow Test Driven Design i XP › Re: Pytanie do fanow Test Driven Design i XP

Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.nask.pl!news.nask.org.pl!news.unit
0.net!feeder.erje.net!news.ripco.com!news.glorb.com!postnews.google.com!glegrou
psg2000goo.googlegroups.com!not-for-mail
From: Roman W <b...@g...pl>
Newsgroups: pl.comp.programming
Subject: Re: Pytanie do fanow Test Driven Design i XP
Date: Thu, 22 Dec 2011 04:31:32 -0800 (PST)
Organization: http://groups.google.com
Lines: 12
Message-ID: <408748.496.1324557092876.JavaMail.geo-discussion-forums@vbw20>
References: <13550949.64.1324464699954.JavaMail.geo-discussion-forums@vbjs5>
<1...@n...googlegroups.com>
<jctcm0$hbl$1@news.icm.edu.pl> <jctsgl$f0s$1@inews.gazeta.pl>
<1680149.195.1324544811593.JavaMail.geo-discussion-forums@yqni15>
<6...@q...googlegroups.com>
<20682772.661.1324549705971.JavaMail.geo-discussion-forums@yqgn9>
<d...@y...googlegroups.com>
Reply-To: p...@g...com
NNTP-Posting-Host: 193.189.80.39
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1324557510 27517 127.0.0.1 (22 Dec 2011 12:38:30 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 22 Dec 2011 12:38:30 +0000 (UTC)
In-Reply-To: <d...@y...googlegroups.com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=193.189.80.39;
posting-account=EexxQQoAAAAkOfWz0VZRKLcHNpXJZLB9
User-Agent: G2/1.0
X-Google-Web-Client: true
Xref: news-archive.icm.edu.pl pl.comp.programming:194495
[ ukryj nagłówki ]
On Thursday, December 22, 2011 10:58:29 AM UTC, Andrzej Jarzabek wrote:

> > Problem polega na tym, ze dowolny test robisz dla danych, ktore znasz.
> > Natomiast jezeli masz logiczny dowod, ze implementacja jest poprawna i
> > algorytm jest poprawny, to wiesz ze zadziala dla dowolnych danych
> > akceptowanych przez algorytm.
>
> O ile dowód jest również poprawny.

Dlatego uwazam, ze trzeba robic i to, i to.

RW