-
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
Następne wpisy z tego wątku
- 22.12.11 12:45 Paweł Kierski
- 22.12.11 12:55 Edek
- 22.12.11 13:47 Edek
- 22.12.11 14:10 Andrzej Jarzabek
- 22.12.11 14:20 A.L.
Najnowsze wątki z tej grupy
- Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- Arch. Prog. Nieuprzywilejowanych w pełnej wer. na nowej s. WWW energokod.pl
- 7. Raport Totaliztyczny: Sprawa Qt Group wer. 424
- TCL - problem z escape ostatniego \ w nawiasach {}
- Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- testy-wyd-sort - Podsumowanie
- Tworzenie Programów Nieuprzywilejowanych Opartych Na Wtyczkach
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
Najnowsze wątki
- 2025-01-06 Jeździ, skręca, hamuje
- 2025-01-06 Białystok => System Architect (Java background) <=
- 2025-01-06 Gliwice => Specjalista ds. public relations <=
- 2025-01-06 Białystok => Solution Architect (Java background) <=
- 2025-01-06 Zielona GĂłra => Konsultant WdroĹźeniowy Comarch XL/Optima (KsiÄgowoĹ
- 2025-01-06 Popr. 14. Nauka i Praca Programisty C++ w III Rzeczy (pospolitej)
- 2025-01-06 Ostrów Wielkopolski => Area Sales Manager OZE <=
- 2025-01-06 Do IO i innych elektrooszolomow, tu macie prawdziwe smrody
- 2025-01-06 Białystok => Full Stack .Net Engineer <=
- 2025-01-06 Kraków => Business Development Manager - Network and Network Security
- 2025-01-06 Katowice => Regionalny Kierownik Sprzedaży (OZE) <=
- 2025-01-06 Warszawa => Spedytor Międzynarodowy <=
- 2025-01-06 Lublin => Programista Delphi <=
- 2025-01-06 Gdańsk => Specjalista ds. Sprzedaży <=
- 2025-01-06 śnieg