-
Data: 2011-12-22 10:57:10
Temat: Re: Pytanie do fanow Test Driven Design i XP
Od: Paweł Kierski <n...@p...net> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu 2011-12-22 11:28, Roman W pisze:
> On Thursday, December 22, 2011 9:55:37 AM UTC, Andrzej Jarzabek wrote:
>
>> Natomiast w praktyce testy automatyczne potrafią wyłapać całkiem sporo
>> błędów - nawet takie, które działają przez kilka czy kilkanaście
>> minut, nie mówiąc już o tym, że po prostu możesz mieć wydzieloną
>> maszynę do soak testów, która mieli różne scenariusze 24/7 - to nie
>> jest taki gigantyczny koszt, a można to zrobić niezależnie od tego czy
>> i jak bardzo formalnie się dowodzi.
>
> 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ą.
--
Paweł Kierski
n...@p...net
Następne wpisy z tego wątku
- 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
- 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
- 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) <=