-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!.POSTED!not-for-mail
From: Edek <e...@g...com>
Newsgroups: pl.comp.programming
Subject: Re: Pytanie do fanow Test Driven Design i XP
Date: Thu, 22 Dec 2011 10:53:42 +0100
Organization: ICM, Uniwersytet Warszawski
Lines: 43
Message-ID: <jcuus9$p7c$1@news.icm.edu.pl>
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>
NNTP-Posting-Host: 77-254-124-236.adsl.inetia.pl
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: news.icm.edu.pl 1324547785 25836 77.254.124.236 (22 Dec 2011 09:56:25 GMT)
X-Complaints-To: u...@n...icm.edu.pl
NNTP-Posting-Date: Thu, 22 Dec 2011 09:56:25 +0000 (UTC)
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110428
Linux/3.1.0-15 Thunderbird/3.1.0
In-Reply-To: <s...@j...net>
Xref: news-archive.icm.edu.pl pl.comp.programming:194460
[ ukryj nagłówki ]On 12/22/2011 10:19 AM, Stachu 'Dozzie' K. wrote:
> On 2011-12-22, Edek<e...@g...com> wrote:
>> On 12/22/2011 01:09 AM, Andrzej Jarzabek wrote:
>>> 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.
>>
>> 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.
>
Nie. Dowód jest "pół"-formalny tylko z powodu notacji [1]. Logika
jest po prostu logiką, nie logiką humanistyczną, nie logiką
miszczów Javy, nie kobiecą, jest weryfikowalna - daje zupełną
gwarancję. Test oczywiście można zrobić, ale mam pytanie:
skąd niby ma być wiadomo, że błąd występuje raz na 1e4 i
przy jakich założeniach? Dowód formalny jest adekwatny,
a test nic nie wnosi.
Testy robi się używając do tego specjalizowanych narzędzi,
nie unit testów, tam eksponuje się częstość występowania
błędów przez uwypuklenie sekwencji czasowych wobec
prawdziwego zastosowania w kodzie, co daje o kilka rzędów
wielkości większe prawdopodobieństwo pokazania błędu,
nie czeka się miesiąc tylko kilka sekund. To nie jest
unit test, testuje się poprzez model i tylko po to,
żeby mieć szybko wynik.
Edek
[1] ... ludzie zazwyczaj w ten sposób tłumaczą, dlaczego
nie ma formy dowodu matematycznego, dlaczego używają
swojej umownej notacji, itd., żeby uniknąć zbędnych pytań
i czepiania się rzeczy tak naprawdę nieistotnych.
Następne wpisy z tego wątku
- 22.12.11 09:55 Andrzej Jarzabek
- 22.12.11 10:02 bartekltg
- 22.12.11 10:04 Andrzej Jarzabek
- 22.12.11 10:07 bartekltg
- 22.12.11 10:15 Andrzej Jarzabek
- 22.12.11 10:14 Roman W
- 22.12.11 10:17 Roman W
- 22.12.11 10:34 Edek
- 22.12.11 10:28 Roman W
- 22.12.11 10:46 Stachu 'Dozzie' K.
- 22.12.11 10:48 bartekltg
- 22.12.11 10:47 Edek
- 22.12.11 10:51 bartekltg
- 22.12.11 10:57 Paweł Kierski
- 22.12.11 10:56 Andrzej Jarzabek
Najnowsze wątki z tej grupy
- Perfidne ataki krakerów z KRLD na skrypciarzy JS i Pajton
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- Instytut IDEAS może zacząć działać: "Ma to być unikalny w europejskiej skali ośrodek badań nad sztuczną inteligencją."
- U nas propagują modę na SI, a w Chinach naukowcy SI po kolei umierają w wieku 40-50lat
- C++. Podróż Po Języku - komentarz
- "Wuj dobra rada" z KDAB rozważa: Choosing the Right Programming Language for Your Embedded Linux Device
- 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
Najnowsze wątki
- 2025-04-30 Szczecin => Key Account Manager IT <=
- 2025-04-30 Chiny => Koordynator Produkcji / Przedstawiciel ds. rozwoju produktu <
- 2025-04-30 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-04-29 Nożownik zaatakował i zabił lekarza
- 2025-04-29 Polecam żarówki Blackout na Blackout z dużym gwintem
- 2025-04-29 Porażka kasty sędziowskiej przed Trybunałem Sprawiedliwości UE
- 2025-04-29 Kombinacja znaków A11 i B33?
- 2025-04-29 Na jakim etapie jest sprawa karna "gaśnicowego" Brauna z grudnia 2023?
- 2025-04-29 TSUE jest "przeciw a nawet za" neosędziami :-)
- 2025-04-29 Wrocław => Konsultant wdrożeniowy (systemy kontrolingowe) <=
- 2025-04-29 China => Production Coordinator / Representant Product Dev <=
- 2025-04-29 Warszawa => Specjalista rekrutacji IT <=
- 2025-04-28 Hiszpania bez pradu
- 2025-04-28 chinska stal
- 2025-04-28 QR kody