-
X-Received: by 10.49.12.47 with SMTP id v15mr44557qeb.39.1374582952407; Tue, 23 Jul
2013 05:35:52 -0700 (PDT)
X-Received: by 10.49.12.47 with SMTP id v15mr44557qeb.39.1374582952407; Tue, 23 Jul
2013 05:35:52 -0700 (PDT)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!qx7no50901607pbc.1!news-out.
google.com!b2ni84830pby.1!nntp.google.com!cb17no89280qab.0!postnews.google.com!
glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 23 Jul 2013 05:35:52 -0700 (PDT)
In-Reply-To: <kslj2b$kj2$1@node2.news.atman.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=80.254.146.36;
posting-account=jr5y-woAAAAWidgVjrSJ6j8m650CTb-v
NNTP-Posting-Host: 80.254.146.36
References: <kroiv1$p67$1@speranza.aioe.org>
<4...@4...com>
<51e5880e$0$1222$65785112@news.neostrada.pl>
<ks5dga$ei6$1@somewhere.invalid>
<51e84c47$0$1265$65785112@news.neostrada.pl>
<ks9sck$h0l$1@somewhere.invalid>
<3...@4...com>
<ksan9m$aue$1@node2.news.atman.pl>
<51e908d1$0$1467$65785112@news.neostrada.pl>
<ksb20l$9hd$1@node1.news.atman.pl>
<51e90fe1$0$1221$65785112@news.neostrada.pl>
<ksb5kv$p53$1@node2.news.atman.pl>
<m...@4...com>
<ksbguk$pgj$1@node1.news.atman.pl>
<a...@n...plus.net>
<ksdj68$2la$1@node2.news.atman.pl> <kskajk$d3h$3@node2.news.atman.pl>
<kski07$nqj$1@somewhere.invalid>
<2...@g...com>
<kslj2b$kj2$1@node2.news.atman.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <d...@g...com>
Subject: Re: pl. usenet o agile
From: Andrzej Jarzabek <a...@g...com>
Injection-Date: Tue, 23 Jul 2013 12:35:52 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:204187
[ ukryj nagłówki ]On Tuesday, 23 July 2013 10:40:29 UTC+1, Edek wrote:
> Szarym od mżawki świtem Mon, 22 Jul 2013 23:13:20 -0700, Adam Klobukowski
> wyrzucił pustą ćwiartkę i oznajmił:
>
[...]
> Pretensjonalny jesteś.
Myślałem, że mnie wrzuciłeś do bezterminowego killfajla.
> Nie trzeba szukać tak daleko. Roman W podał przykład z numeryki, który
> jest znacznie bliżej codziennej rzeczywistości niż dokumentowanie
> co robi "parseDouble".
Zauwazyłem przykład który wydawało mi się, że demonstrował, że unit testy
wcale nie muszą czegokolwiek dokumentować. Jeśli to był przykład z numeryki,
to może czegos nie zrozumiałem - nie zajmuję się numeryką.
Przykład był nieco odrealniony własnie dlatego, żeby był prosty i zrozumiały
dla każdego a nie wymagał znajomości specjalistycznej wiedzy bądź wprowadzenia
długim i nudnym wykładem.
OTOH aż taki bardzo odrealniony nie jest, bo kiedyś zdarzyło mi się pisac
moduł parsowania i formatowania liczb rzeczywistych, nie typu double ale
specjalnego typu dziesiętnego z biblioteki third party - sama biblioteka nie
dostarczała odpowiedniego poziomu kontroli (przecinek zamiast kropki
dziesiętnej, blokowanie scientific notation itp.), a licencja nie pozwalała na
modyfikowanie kodu, więc trzeba to było wyrzeźbić od zera. nie pisałem wtedy
unit testów bo nie znałem jeszcze tej techniki, ale z całą pewnością w moim
developer testing parsowanie zapisu liczby całkwitej było jednym z test
case'ów.
> Nie twierdzę, że unit testy nie mają szansy dokumentowania kodu,
> w jakimś stopniu dokumentują (i to ja mylę testy z dokumentacją?).
> Natomiast znacznie łatwiej jest opisać słowami co robi dany kod
> i uzyskać pełny opis.
Niekiedy łatwiej opisać słowami. Ale często niedużo łatwiej - warto podjąć
niewielki dodatkowy wysiłek żeby mieć tani i skuteczny (co nie znaczy
stuprocentowo skuteczny) mechanizm utrzymania zgodności dokumentacji z kodem.
> Dla przykładu, testowany kod ze 100% pokryciem
> linii kodu testem:
>
> int parseDouble(const std::string& _txt) {
>
> if (_txt == "7.63") {
> return 7.63;
> }
> }
To jest przykład na to, że łatiwje opisac słowami co robi kod? I co z tymi
słowami? Co konkretnie łatwiej opisać słowami? Że dla wartości argumentu
innych niż "7.63" jest UB to owszem, łatwiej opisać słowami, ale poza tym?
Akurat że dla "7.63" wartość wynosi 7.63 nie jest trudno udokumentować unit
testem, fakt, że jest to jedyna dopuszczalna wartość argumentu też nie powinno
nastręczać problemu:
test that parseDouble works for the only legal argument value {
std::string onlyLegalArgumentValue = "7.63";
int onlyPossibleReturnValue = 7.63;
assert that parseDouble(onlyLegalArgumentValue) equals
onlyPossibleReturnValue;
}
Natomiast właśnie próba udokumentowania funkcji przy pomocy unit testów
eksponuje problem projektowy: nawet jeśli jedynym dopuszczalnym argumentem
funkcji jest "7.63", to prawdopodobnie UB w pozostałych przypadkach nie jest
najlepszym pomysłem tak czy inaczej. Możemy więc rozważyć modyfikację projektu
kodu tak, żeby np. zamiast UB rzucał std::invalid_argument.
> Jak wyobrazimy sobie test, okaże się że pokrycie 100% linii kodu
> jakby nie do końca sprawdza, czy funkcja działa.
A kto twierdził, że do końca sprawdza?
> Ale przysłowiowy "inteligentny AJ" będzie miał pokryte 100% linii.
Inteligentny AJ wie, że dokumentacyjna rola unit testów ma mało wspólnego ze
sprawdzaniem, czy funkcja działa.
Pomiar pokrycia testami z drugiej strony wnosi coś do tematu dokumentacji
przez unit test, bo naświetla problem, że część funkcjonalności kodu nie jest
w testach udokumentowana (pomijając już samą weryfikację) - np. twoje testy
nie dokumentują co się dzieje, jeśli podasz funkcji nieprawidłowy argument
wejściowy.
Następne wpisy z tego wątku
- 23.07.13 21:21 Sebastian Biały
- 23.07.13 21:23 Sebastian Biały
- 23.07.13 22:22 Edek
- 24.07.13 10:36 slawek
- 24.07.13 20:49 Andrzej Jarzabek
- 27.07.13 18:42 Andrzej Jarzabek
- 27.07.13 18:47 Andrzej Jarzabek
Najnowsze wątki z tej grupy
- 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??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
Najnowsze wątki
- 2024-10-19 Warszawa => Software Engineer .Net <=
- 2024-10-19 Warszawa => Senior SAP HANA Developer <=
- 2024-10-19 Warszawa => Specjalista Helpdesk <=
- 2024-10-19 PUE ZUS -- administracyjna nuda...
- 2024-10-18 Marsz niepodleglosci
- 2024-10-18 Pożar parkingu w Luton
- 2024-10-18 Łódź => Spedytor Międzynarodowy <=
- 2024-10-18 Gdańsk => Technical Lead ( (Java Background)) <=
- 2024-10-18 Warszawa => Head of International Freight Forwarding Department <=
- 2024-10-18 uwazajmy na haczyki w umowach
- 2024-10-18 Warszawa => Account Manager - Usługi rekrutacyjne <=
- 2024-10-18 Białystok => Full Stack web developer (obszar .Net Core, Angular6+) <
- 2024-10-18 Gdańsk => Software .Net Developer <=
- 2024-10-18 Warszawa => Junior Rekruter <=
- 2024-10-18 Warszawa => Key Account Manager <=