W dniu 2011-12-22 00:13, Maciej Sobczak pisze:
> On Dec 21, 5:18 pm, Roman W<b...@g...pl> 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?
>>
>> To akurat robilem. Losowalem np. 10000 probem i sprawdzalem czy histogram sprawdza
sie w ramach zadanej tolerancji z zadana dystrybucja,
>
> Jasne. Powiedzmy, że chodzi o liczby od 0 do 9 i rozkład jednostajny.
>
> Oto mój generator:
>
> int getNextValue()
> {
> static int x = 0;
> if (x == 10) x = 0;
> return x++;
> }
>
> Powyższa funkcja przy odpowiednio wielu wywołaniach daje całkiem dobry
> "histogram".
> Można tak zrobić dowolny zadany "rozkład" i go "przetestować" tak jak
> opisałeś.
>
> Jakoś jednak sądzę, że ta funkcja jest do bani. Ale test przeszła! To
> może test jest do bani? Pewnie jest - ale jak sprawdzić ten test?

Pytanie było o to, czy dany generator daje odpowiedni rozkład,
nie o własności liczb 'losowe'.

> Łatwiej napisać generator liczb losowych, niż jego test.
> To znaczy, że przy takim zadaniu w ogóle nie pisałbym unit-testu.

Dobre generatory liczb losowych _ciężko_ napisać. Łatwo*) to napisać
zamianę zmiennych transformującą np rozkład jednostajny na jakiś
inny zadany.

*) w pewnych przypadkach etc. Czasem nie jest to takie trywialne,
np. rozkład normalny generuje się dość sprytnie.

pzdr
bartekltg