-
Data: 2011-12-22 10:34:47
Temat: Re: Pytanie do fanow Test Driven Design i XP
Od: Edek <e...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On 12/22/2011 10:29 AM, Andrzej Jarzabek wrote:
> On Dec 22, 9:19 am, "Stachu 'Dozzie' K."
> <d...@g...eat.some.screws.spammer.invalid> wrote:
>> On 2011-12-22, Edek<e...@g...com> wrote:
>>
>>>> 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.
>
> A wywnioskowałeś to z konstrukcji "lepszą [...] niż gdybyś tylko
> zrobił dowód"?
Ok, podzielę włos na czworo. Mamy P1() = 1, i P2() = x.
Ile wynosi prawdopodobieństwo P1 | P2, i czy w ogóle zależy od P2?
Idać dalej proponowaną logiką "lepszości", myślę, że faktycznie
test zastąpiłby napisanie poprawnego algorytmu.
Edek
Następne wpisy z tego wątku
- 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
- 22.12.11 11:10 Andrzej Jarzabek
- 22.12.11 11:28 Edek
- 22.12.11 10:58 Andrzej Jarzabek
- 22.12.11 11:37 Edek
- 22.12.11 11:43 Edek
- 22.12.11 12:32 Roman W
- 22.12.11 12:31 Roman W
- 22.12.11 12:45 Paweł Kierski
Najnowsze wątki z tej grupy
- 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
- Re: W czym sie teraz pisze programy??
Najnowsze wątki
- 2025-03-16 Co powinno spotkać "adwokatów dwóch" uczestniczących w przesłuchaniu świadka do którego nie dopuszczono adwokata świadka?
- 2025-03-16 Przednich p-mgielnych nie wolno bez mgły
- 2025-03-16 Co w KANADZIE wolno komercyjnie (na razie się nie czepili?)
- 2025-03-16 silnik-chwilówka
- 2025-03-16 Prokurator Wrzosek "Bezstronna" nie przyczynia się do śmierci (dowodnie) - oświadcza bodnatura [Dwie Kacze Wieże]
- 2025-03-15 kraje nieprzyjazne samochodom
- 2025-03-15 parking Auchan
- 2025-03-15 Art. 19.1 ustawy o ochronie praw autorskich
- 2025-03-15 przegląd za mną
- 2025-03-15 Na co komu okna
- 2025-03-15 Mój elektryk
- 2025-03-15 Fejk muzyczny czy nie fejk
- 2025-03-15 China-Kraków => Senior PHP Symfony Developer <=
- 2025-03-15 Wrocław => Konsultant wdrożeniowy Comarch XL (Logistyka, WMS, Produk
- 2025-03-15 Błonie => Analityk Systemów Informatycznych (TMS SPEED) <=