-
Path: news-archive.icm.edu.pl!news.gazeta.pl!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 00:09:57 +0000
Organization: "Portal Gazeta.pl -> http://www.gazeta.pl"
Lines: 20
Message-ID: <jctsgl$f0s$1@inews.gazeta.pl>
References: <13550949.64.1324464699954.JavaMail.geo-discussion-forums@vbjs5>
<1...@n...googlegroups.com>
<jctcm0$hbl$1@news.icm.edu.pl>
NNTP-Posting-Host: 5ac53ca3.bb.sky.com
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: inews.gazeta.pl 1324512597 15388 90.197.60.163 (22 Dec 2011 00:09:57 GMT)
X-Complaints-To: u...@a...pl
NNTP-Posting-Date: Thu, 22 Dec 2011 00:09:57 +0000 (UTC)
X-User: septi
In-Reply-To: <jctcm0$hbl$1@news.icm.edu.pl>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:8.0) Gecko/20111105
Thunderbird/8.0
Xref: news-archive.icm.edu.pl pl.comp.programming:194432
[ ukryj nagłówki ]On 21/12/2011 19:37, Edek wrote:
>
> Z samego programowania dowody (pół)formalne stosuje
> się przy algorytmach wątkowych. Żaden unit test nie pokaże
> błędu wielowątkowego, co najwyżej wysypie się np. raz na 1e4.
No więc jeśli wiesz, że błędna implementacja wysypie się raz na 1e4, to
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.
> Jak wielu programistów robi, TDD: test, implementacja, przeszło
> - czyli już zrobione.
Nie wiem, ale inteligentni programiści z jakimkolwiek doświadczeniem,
lub choćby tacy, którzy czytali o tym książkę, wiedzą o
obszarach-pułapkach, jakimi są np. wątki, i w związku z tym wiedzą, że
trzeba zrobić coś więcej. A jak sami nie wiedzą co, to mogą spytać
bardziej doświadczonych kolegów, albo chociażby przeczytać o tym
książkę. Freeman i Pryce mają np. bardzo sensowny rozdział o testowaniu
programów wielowątkowych w TDD.
Następne wpisy z tego wątku
- 22.12.11 00:31 Andrzej Jarzabek
- 22.12.11 00:58 Michoo
- 22.12.11 01:28 A.L.
- 22.12.11 08:24 Paweł Kierski
- 22.12.11 08:28 bartekltg
- 22.12.11 08:47 Edek
- 22.12.11 08:58 Roman W
- 22.12.11 09:02 Roman W
- 22.12.11 09:06 Roman W
- 22.12.11 09:08 Roman W
- 22.12.11 09:19 Stachu 'Dozzie' K.
- 22.12.11 09:29 Andrzej Jarzabek
- 22.12.11 09:40 bartekltg
- 22.12.11 09:44 Roman W
- 22.12.11 09:05 Roman W
Najnowsze wątki z tej grupy
- Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- Alg. kompresji LZW
- 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
Najnowsze wątki
- 2025-03-19 Wietnam wykłada 500M$ i chce zbudować fabrykę za 50G$
- 2025-03-19 szal-Unia == federacja policyjna
- 2025-03-19 Polsza == państwo policyjne
- 2025-03-19 Grzegorz Płaczek o programie szczepień dzieci. ,,Stworzono eldorado dla firm farmaceutycznych"
- 2025-03-19 Wietnam wykłada 500M$ i chce zbudować fabrykę za 50G$
- 2025-03-19 Gemini
- 2025-03-19 Mokry sen Zenka :)
- 2025-03-19 Re: Dlaczego tak odstają od Tesli?
- 2025-03-19 Czy grupa p.s.prawo przetrwa najbliższe wybory (prezydenta)?
- 2025-03-19 Warszawa => Frontend Developer (obszar Angular13+) <=
- 2025-03-19 Czy "niedopuszczony pełnomocnik" jest w prawie się na to skarżyć jak "świadek" zmarła bez zostawienia mu takiej instrukcji?
- 2025-03-19 Kraków => Business Development Manager - Network and Network Security
- 2025-03-19 Ostrów Świętokrzy => Node.js / Fullstack Developer <=
- 2025-03-19 Kraków => IT Expert (Network Systems area) <=
- 2025-03-19 Ryga => Konsultant Wdrożeniowy Comarch XL/Optima (Księgowość i Kad