On 10 Sie, 20:46, j...@p...onet.pl wrote:
> Czy jest tu jakiś poważny człowiek, który mógłby mi odpowiedzieć na moje pytanie?

Poważnie to testy nie służą weryfikowaniu czegokolwiek, tylko
poprawianiu sobie samopoczucia. Zostają metody formalne.
Problem w tym, że w mainstreamowych językach programowania te metody
nie działają a przecież nikt nie będzie używał języków niszowych - i
stąd przepaść pomiędzy teorią a praktyką.

W praktyce jest to, co napisałem wcześniej - to wcale nie była
niepoważna odpowiedź. :-)

A tak konkretnie - co w ogóle chcesz udowodnić?

--
Maciej Sobczak * http://www.inspirel.com