On Wed, 21 Dec 2011 12:37:22 +0100, Pawe? Kierski <n...@p...net>
wrote:

>W dniu 2011-12-21 11:51, Roman W pisze:
>> Na grupie padaly stwierdzenia, ze wymagania wobec programu mozna opisac w formie
testow.
>>
>> Zalozmy, ze mamy zaimplementowac funkcje (na przykladzie C++)
>>
>> double calculate_stuff(const std::vector<double>& data);
>>
>> z warunkiem "ma sie wykonywac w czasie liniowym w rozmiarze wektora data".
>>
>> Jak napisac test, ktory sprawdza czy ten wymog jest spelniony?
>
>Mierzysz czas dla dwóch-trzech wielkości wektora i sprawdzasz
>(asercją), czy czasy spełniają warunek liniowości. Np. test dla 10
>i 1000 elementów - jeśli test dla 1000 wykonuje się ok 100 razy dłużej
>niż dla 10, to OK. Jeśli 10000 razy dłużej, to masz n^2. Do tego
>niektóre frameworki mają możliwość ograniczeń czasowych na testy -
>pomocne, gdy implementacja jest jednak n^2 i miałaby się zakończyć
>za kwadrans, zamiast za kilkanaście sekund. Timeout na minutę oznacza,
>że coś na pewno jest źle.

Echem... Akurat... Metoda Simplex jak wiadomo ma zlozonosc
wykladnicza, a wszystkie testy pokazuja ze wielomianowa. Zeby dostac
naprawde zlozonosc wykladnicza tzreba skonstruowac specjalny prtzyklad
co nastapilo cos w 30 lat po sformulowaniu metody.

Niestety, zlozonosci nei da sie testowac "na przykaldach" a "test
driven development" wymyslono po cos supelnie innego

A.L.