Użytkownik <j...@p...onet.pl> napisał:

Zdaje się, że pierwszym niepoważnym w tym wątku jesteś Ty sam. I dlatego
otrzymujesz niepoważne w Twoim mniemaniu odpowiedzi. Co to znaczy
"poprawność programu"? Sprecyzuj.

Jeśli dobrze się domyslam o co Ci chodzi to:

- właśnie testy są podstawą
- test testowi nierówny
- są różne metody i sposoby

Poważne firmy do testowania swoich programów stosują rozbudowane metody i
specjalne programy, które sprawdzaja program pod kątem:

- czy nie zawiesza się, lub systemu w trakcie długiego działania
- czy nie spowalnia pracy i nie zzera pamięci
- czy podaje prawidłowe wyniki w zależności od danych wejściowych
- reakcję na różne, w tym możliwe nieprawidłowe dane wejściowe

To tylko drobna cząstka tego co jest badane i chodzi o zrozumienie w czym
rzecz.

I ostatnia uwaga. Nigdy do końca nie wiadomo, czy program nie zawiera
błedów.

Remek