-
Data: 2011-12-21 19:37:01
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/21/2011 04:26 PM, Maciej Sobczak wrote:
> Oprócz złożoności liniowej i pogłosu w filharmonii w Koluszkach,
> takich przykładów jest znacznie więcej. Np. mamy napisać generator
> liczb losowych o zadanym rozkładzie - jak to sprawdzić przez TDD?
> Tutaj również łatwiej jest to zrobić poprawnie przez właściwą
> konstrukcję, niż stworzyć poprawny test.
Matematykiem to ja nie jestem, ale nawet ja wiem, że rozkład
będzie wykazywał jakiś średni rozrzut przy danych próbach. Ogólnie
temat random jest dobrze przerobiony, w tym testy randomów na potrzeby
kryptografii - są standardowe toole w Linuksie sprawdzające FIPS
ileśtam (nie wnikam, nie czytam, bo i tak nie zrozumiem w ciągu
godziny, a więcej czasu mi szkoda ;) ).
Istnieje wiele innych przykładów. Chociażby procesory. Są
projektowane, testowane, a potem wychodzi errata ze 100 bugami
średnio, bo zrobili dowody formalne czy coś innego. Przykład
moim zdaniem bardzo zbliżony do programowania.
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.
Jak wielu programistów robi, TDD: test, implementacja, przeszło
- czyli już zrobione.
Edek
Następne wpisy z tego wątku
- 21.12.11 19:56 Sebastian Biały
- 21.12.11 23:13 Maciej Sobczak
- 21.12.11 23:29 Andrzej Jarzabek
- 22.12.11 00:00 Andrzej Jarzabek
- 22.12.11 00:09 Andrzej Jarzabek
- 22.12.11 00:31 Andrzej Jarzabek
- 22.12.11 00:58 Michoo
- 22.12.11 01:28 A.L.
- 22.12.11 08:24 Paweł Kierski
- 22.12.11 08:28 bartekltg
- 22.12.11 08:47 Edek
- 22.12.11 08:58 Roman W
- 22.12.11 09:02 Roman W
- 22.12.11 09:06 Roman W
- 22.12.11 09:08 Roman W
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