On 18 Oct 2013 17:51:42 GMT, Jaros?aw Soko?owski <j...@l...waw.pl>
wrote:

>Pan A.L napisał:
>
>>> Przy użyciu LP powstał w zasadzie tylko jeden znaczący projekt. I nie
>>> jest to Outlook Express. Wiadomo o nim tyle, że błędów nie zawiera --
>>> za każdy płacą pieniądze, więc na początku znaleziono ich sporo, a od
>>> kilkunastu lat zgłoszeń brak.
>>
>> Drogi Kolego, testowanie moze wykazac OBECNOSC bledow, nigdy zas nie
>> moze wykazac NIEOBECNOSCI bledow.
>
>A mamyż jaką inną drogę, ponad testować, testować i jeszcze raz testować?
>O praktykę pytam, nie o teorię.

Po pierwsze, testowac naukowo, a nie byle jak. proponuje popatrzec na
"test driven development" oraz na to jak sie robi testy porzadnie

Po drugie, coraz czesciej stusuje sie toole takie jak ten

http://en.wikipedia.org/wiki/SPARK_(programming_lang
uage)
http://www.adacore.com/sparkpro/

A.L.