-
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
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- Linuks od wer. 6.15 przestanie wspierać procesory 486 i będzie wymagać min. Pentium
- ,,Polski przemysł jest w stanie agonalnym" - podkreślił dobitnie, wskazując na brak zamówień.
- Rewolucja w debugowaniu!!! SI analizuje zrzuty pamięci systemu M$ Windows!!!
- Brednie w wiki - hasło Dehomag
- 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)
Najnowsze wątki
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-13 W tym urządzeniu ugotujesz wodę wszędzie. Bez podłączania do prądu
- 2025-05-12 wyobrazcie sobie
- 2025-05-12 pojezdziłem passatem
- 2025-05-12 Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
- 2025-05-12 Warszawa => Junior Rekruter <=
- 2025-05-12 Dostała karę za "brak biletu" parkowania. Wygrała w sądzie z miastem Kierująca zaparkowała na miejskim parkingu w Rybniku. Nie zdążyła przedłużyć parkowania i dostała 200 zł kary za "brak biletu".
- 2025-05-12 Białystok => Senior Node.js Developer (doświadczenie z framework Nes
- 2025-05-12 Warszawa => MENA New Business Manager <=
- 2025-05-12 Rzeszów => WEBCON Developer <=
- 2025-05-12 kamerka kultowy novatek G1WH
- 2025-05-12 Warszawa => Fullstack PHP Developer <=
- 2025-05-12 Warszawa => Senior Frontend Developer (React + React Native) <=
- 2025-05-12 Warszawa => Staż w dziale Sprzedaży B2B <=