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!goblin2!g
oblin.stu.neva.ru!newsfeeder.ewetel.de!82.197.223.103.MISMATCH!feeder3.cambrium
usenet.nl!feed.tweaknews.nl!postnews.google.com!y7g2000vbe.googlegroups.com!not
-for-mail
From: Andrzej Jarzabek <a...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Pytanie do fanow Test Driven Design i XP
Date: Thu, 22 Dec 2011 02:58:29 -0800 (PST)
Organization: http://groups.google.com
Lines: 20
Message-ID: <d...@y...googlegroups.com>
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>
NNTP-Posting-Host: 195.11.67.225
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1324553922 23948 127.0.0.1 (22 Dec 2011 11:38:42 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 22 Dec 2011 11:38:42 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: y7g2000vbe.googlegroups.com; posting-host=195.11.67.225;
posting-account=jr5y-woAAAAWidgVjrSJ6j8m650CTb-v
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: CUHARLSNK
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 6.1; WOW64) AppleWebKit/535.7 (KHTML, like
Gecko) Chrome/16.0.912.63 Safari/535.7,gzip(gfe)
Xref: news-archive.icm.edu.pl pl.comp.programming:194489
[ ukryj nagłówki ]
On Dec 22, 10:28 am, Roman W <b...@g...pl> wrote:
> On Thursday, December 22, 2011 9:55:37 AM UTC, Andrzej Jarzabek wrote:
> > Natomiast w praktyce testy automatyczne potrafią wyłapać całkiem sporo
> > błędów - nawet takie, które działają przez kilka czy kilkanaście
> > minut, nie mówiąc już o tym, że po prostu możesz mieć wydzieloną
> > maszynę do soak testów, która mieli różne scenariusze 24/7 - to nie
> > jest taki gigantyczny koszt, a można to zrobić niezależnie od tego czy
> > i jak bardzo formalnie się dowodzi.
>
> 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.