Apostol Sergey
Во всяком случае встречал ситуацию, что багов не было и шла речь о плохой работе отдела тестирования)
Аксиоматически:
1. В коде есть ошибки;
2. Проверка всех возможных сценариев програмного продукта, количественно, есть произведение всех его состояний на весь возможный input.
3. Например, для программы из 6 нелинейно изменяемых состояний это даёт порядка 40 000 уникальных сценариев (Каннер).
4. Даже с учётом граничных значений, беря во внимание реальную сложность програмных продуктов, протестировать весь програмный продукт невозможно.
5. Отрицательный факт (отсутствие ошибки) невозможно показать, или доказать, иначе как исчерпав все возможные альтернативные варианты. А это невозможно.
6. Таким образом, да: если ошибок нет, то плохо искали.