> -- Илья Ермаков писал(а):
> единственной гарантией правиль­ности является прохождение всех тестов, определяющих правильность програм­мы
Что интересно, в этой фразе не один ляп.

"Всех тестов, определяющих правильность программы" - это что такое?
Единственное предназначение теста - определить НЕправильность программы.
Описать правильность поведения программы на бесконечном множестве ситуаций перечислением конечного его подмножества... Для дискретной системы.... Нет, это вряд ли переводчик. Это дефекты образования. Американского, видимо. Или персонально автора. Ужоснах.