eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingPytanie do fanow Test Driven Design i XPRe: Pytanie do fanow Test Driven Design i XP
  • 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.

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: