-
Data: 2011-12-22 11:43:53
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 11:57 AM, Paweł Kierski wrote:
>> Problem polega na tym, ze dowolny test robisz dla danych, ktore znasz.
>> Natomiast jezeli masz logiczny dowod, ze implementacja jest poprawna i
>> algorytm jest poprawny, to wiesz ze zadziala dla dowolnych danych
>> akceptowanych przez algorytm.
>
> Nie zawsze. Losowane dane (losowy przegląd przestrzeni danych) może
> coś istotnego wykryć.
>
> Oczywiście dowód poprawności algorytmu jest lepszy. Do tego trzeba
> jeszcze dodać dowód poprawności implementacji. Co w sumie jest zazwyczaj
> drogie. Testy mają szansę złapać błąd zanim znajdziesz go w trakcie
> przeprowadzania dowodu. Co oczywiście nie znaczy, że "przetestowane"
> oznacza "poprawne". Oznacza tylko "większa szansa, że jest poprawne".
>
> Decyzja, co robić (dowód, testy na dużej ilości danych), jest już
> decyzją biznesową.
Prawdziwe. Wwymaga świadomości tego, jak zachowują się
różne rozwiązania i które jest najlepsze zależnie od tego, co chce
się osiąganąć.
Ja nie wiem, czy dowód musi być droższy. Jeżeli jest już zweryfikowany,
nie wymaga utrzymania, a testy wymagają utrzymania. Oczywiście,
jeżeli ktoś nie myknie na algorytmie refactoringu wedle uznania.
Edek
Następne wpisy z tego wątku
- 22.12.11 12:32 Roman W
- 22.12.11 12:31 Roman W
- 22.12.11 12:45 Paweł Kierski
- 22.12.11 12:55 Edek
- 22.12.11 13:47 Edek
- 22.12.11 14:10 Andrzej Jarzabek
- 22.12.11 14:20 A.L.
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-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Nowa ustawa o ochronie praw autorskich - opis problemu i szkic ustawy
- 2025-03-16 Najlepszy akumulator 12V
- 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