История изменений

Невозможно протестировать код на 100%. Не говоря уже о том, что ошибки могут быть одновременно и в коде, и в тестах.

Этот ваш Дейкстра порой говорил всякую ерунду. А вы тут эту ерунду начинаете оправдывать. Существует такой код где можно доказать отсутствие ошибок. К примеру,

char f(char a) {
 if (a<0) return 0;
 if (a>10) return 0
 return a+3;
}

Можно написать тест, который проверит все входные значения с выходными, следовательно слово «никогда» в его фразе будет неуместно. Иными словами, вспомните, что говорил Линус обращаясь к nvidia.

Невозможно протестировать код на 100%. Не говоря уже о том, что ошибки могут быть одновременно и в коде, и в тестах.

Этот ваш Дейкстра порой говорил всякую ерунду. А вы тут эту ерунду начинаете оправдывать. Существует такой код где можно доказать отсутствие ошибок. К примеру,

char f(char a) {
 if (a<0) return 0;
 if (b>10) return 0
 return a+3;
}

Можно написать тест, который проверит все входные значения с выходными, следовательно слово «никогда» в его фразе будет неуместно. Иными словами, вспомните, что говорил Линус обращаясь к nvidia.