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!plix.pl!newsfeed1.plix.pl!goblin2!gobli
n.stu.neva.ru!feeder3.cambriumusenet.nl!feed.tweaknews.nl!postnews.google.com!u
5g2000vbd.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:56:17 -0800 (PST)
Organization: http://groups.google.com
Lines: 36
Message-ID: <f...@u...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>
<jcur0n$gr5$1@news.icm.edu.pl> <s...@j...net>
<e...@c...googlegroups.com>
<jcv19a$ti8$1@news.icm.edu.pl>
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 1324551704 1442 127.0.0.1 (22 Dec 2011 11:01:44 GMT)
X-Complaints-To: g...@g...com
NNTP-Posting-Date: Thu, 22 Dec 2011 11:01:44 +0000 (UTC)
Complaints-To: g...@g...com
Injection-Info: u5g2000vbd.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:194482
[ ukryj nagłówki ]
On Dec 22, 10:34 am, Edek <e...@g...com> wrote:
> On 12/22/2011 10:29 AM, Andrzej Jarzabek wrote:
>
> > On Dec 22, 9:19 am, "Stachu 'Dozzie' K."
> > <d...@g...eat.some.screws.spammer.invalid> wrote:
> >> On 2011-12-22, Edek<e...@g...com> wrote:
>
> >>>> jeśli zrobiłeś test, który odpala się 1e6 razy, to masz znacznie lepszą
> >>>> gwarancję poprawności, niż gdybyś tylko zrobił dowód (pół)formalny.
>
> >>> Bzdura...
>
> >> Nie do końca. Jeśli napisałeś test *oraz* przeprowadziłeś dowód
> >> (pół)formalny, to jesteś lepiej zabezpieczony. ale AJ pewnie chciał
> >> zastąpić dowód testem.
>
> > A wywnioskowałeś to z konstrukcji "lepszą [...] niż gdybyś tylko
> > zrobił dowód"?
>
> Ok, podzielę włos na czworo. Mamy P1() = 1, i P2() = x.
> Ile wynosi prawdopodobieństwo P1 | P2, i czy w ogóle zależy od P2?

A co twoje P1 i P2 mają wspólnego z opisywaną sytuacją?

> Idać dalej proponowaną logiką "lepszości", myślę, że faktycznie
> test zastąpiłby napisanie poprawnego algorytmu.

Myślę, że to tylko świadczy o możliwościach kolegi w kwestii pójścia
gdziekolwiek z logiką.