Ja ani tak nerikam, nejsou potreba, ale spis nejdou napsat. Je to uplne odlisny vyrok. Nedaval bych to do souvislosti.
Ovšem celou dobu se tu řeší, zda je pravdivé tvrzení, že testy (v případě dobrého typového systému) vůbec nejsou potřeba. To tvrzení je samozřejmě možné dokázat i metodou, že vyjmenujete různé skupiny testů, u nich ukážete, že jsou zbytečné (nebo že ani nejdou zkompilovat), a pak ukážete, že jste takhle „vyřídil“ všechny skupiny testů. Ale nemá smysl dokazovat jenom tvrzení, že některé testy nebudou potřeba (nebo nepůjdou zkompilovat), protože to tady nikdo nerozporoval.
A ja myslel, ze sem se vyjadril fakt pochopitelne. Asi ne.
Jestli jste to myslel jako reálné řešení problému, pak vás zklamu, ale paměť dnešních počítačů je na tohle stále malá, takže úplným výčtem byste mohl řešit jen velmi jednoduché problémy. Ale zase je ta paměť dost velká na to, aby vás popis toho problému úplným výčtem možností přestal bavit mnohem dřív, než ta paměť dojde.
Mohl bych videt prosim nejaky unit test na "funkci" rand?
Zrovna testování náhodnosti není nic snadného, ale u důležitých systémů (třeba generátory pro kryptografii) se to samozřejmě dělá. Nejjednodušší test by mohl získat třeba 1000 náhodných hodnot, normalizovat je do rozsahu <0, 1) a otestovat, že se průměrná hodnota neliší od 0,5 o víc než nějaké delta. Rozumnější test by kontroloval i distribuci hodnot.
Urcite ne.
Takže věříte tomu, co je napsané v dokumentaci? A pokud něco není v dokumentaci jasně popsané, tak tu službu vůbec nepoužíváte? Nebo si všechno píšete sám, od jádra operačního systému?