Odpovídáte na názor ke článku Bezpečné programování v C++ III.
"naopak kvalitni QA vyzaduje od testu nejenom 100% code coverage, ale i redundantni testy ktere dukladne otestuji funkce jestli opravdu pocitaji to co maji."
Alternativou je ještě Knuthův přístup - "Beware of bugs in the above code; I have only proved it correct, not tried it". :-)