Во-первых, в силу психологических причин разработчик недостаточно критичен к собственной работе.

------

Это - да. И тем не менее именно прогер изначально утверждеает, что сдаваемый код работает согласно спекам.

В итоге получалось, что моя интерпретация верная

-----

Т.е. ты таки СЛОМАЛА то. что наваяли прогеры...

программеры не в состоянии взглянуть целостно на продукт

------

Это - тоже почти ДА.

Дело в том, что при современных объемах ПО вообще никто не в состоянии ЭТО сделать.

Вот свеженький пример:

- прожу. В какой-то момент получю тайм-оут на базе. Спрашиваю - что с базой? - ответ - Все нормально, работает, задержек нет.

- не верю, создаю мини-проект и проверяю подключение - работает.

- возвращаюсь к старому солюшнику - тайм-оут.

Вот теперь взгляни целостно на продукт и ответь на вопрос - где и что не дает законнектится на базу?

По вашему тестирование должно быть только негативным?

-----

В первую очередь - ДА.

Сделать код рабочим согласно спекам - это доступно прогеру.

А вот найти условия при которых он становится нерабочим - это не совсем прогерская задача.

Как-то обсчитывали обработку звука. Там - фурье и куча формул с синусами и косинусами... тестировщика - не было - пришлось самим выяснять где синус становится 1.е+304... Так, кстати, и не нашли - пришлось костылить проверкой, а это - дополнительное время в рассчетаx...