Что работает согласно спекам - может подтвердить и прогер.

Чушь городите. Во-первых, в силу психологических причин разработчик недостаточно критичен к собственной работе. Во-вторых, мир не идеален и формулировка спецификации в том числе. Были у меня случаи, когда программеры интерпретировали реки совсем не так, как я. В итоге получалось, что моя интерпретация верная В-третьих, программеры не в состоянии взглянуть целостно на продукт, всегда в подкорке мозга потоки данных бегают, я это из личного опыта знаю. Ваши рассуждения о работе тестировщика - дилетанство, сбиваете только ТС с толку.

От тестировщика, по крайней мере Я, ожидают нахождение имеющихся и потенциальных проблем.

А кто вы такой, что вы что-то ожидаете что-то от тестировщика? Что такое проблема в вашей точки зрения? На чем основываться, определяя проблема это или нет? На здравом смысле конкретного человека? Тогда это вообще жесть

См. AlexNek и его упоминания об тестировщице догадавшейся выдернуть кабель...

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