-
Data: 2011-12-22 09:19:26
Temat: Re: Pytanie do fanow Test Driven Design i XP
Od: "Stachu 'Dozzie' K." <d...@g...eat.some.screws.spammer.invalid> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]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.
--
Secunia non olet.
Stanislaw Klekot
Następne wpisy z tego wątku
- 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
- 22.12.11 09:53 Edek
- 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.
Najnowsze wątki z tej grupy
- Can you activate BMW 48V 10Ah Li-Ion battery, connecting to CAN-USB laptop interface ?
- We Wrocławiu ruszyła Odra 5, pierwszy w Polsce komputer kwantowy z nadprzewodzącymi kubitami
- Ada-Europe - AEiC 2025 early registration deadline imminent
- John Carmack twierdzi, że gdyby gry były optymalizowane, to wystarczyły by stare kompy
- 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
Najnowsze wątki
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 TV z Play (dawniej UPC) -- potrzebny dekoder?
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 mija rok jeżdzenia po lewej
- 2025-07-06 Elektryki jednak są NIEBEZPIECZNE
- 2025-07-08 Fajny film widziałem...
- 2025-07-07 Re: Ząbki się spaliły jak wiejskie, drewniane stodoły sprzed 50 lat
- 2025-07-06 Kup szybko nową ładowarkę do smartfona
- 2025-07-07 Gdańsk => Programista Kotlin <=
- 2025-07-07 Białystok => Mainframe (z/OS, Assembler) Developer <=
- 2025-07-07 Warszawa => Asystent ds. Sprzedaży i Rozwoju Klienta <=
- 2025-07-07 Warszawa => International Freight Forwarder <=
- 2025-07-07 Warszawa => Java Developer <=
- 2025-07-07 Białystok => Software Engineer .Net <=