Здравствуйте, eao197, Вы писали:

E>Знаешь как говорят: тесты способны показать наличие ошибок, но не их отсутствие.
Имхо, этим утверждением Дейкстра пытался показать ущербность тестирования по сравнению с формальным доказательством корректности .