Sua tese não é nova, como os colegas já evidenciaram, mas ela está firmada em uma premissa que para qual ainda não se tem solução perfeita conhecida (e talvez nunca terá):

"Testes de programa podem ser usados para mostrar a presença de bugs, mas nunca para mostrar a sua ausência". - Dijkstra

Não negligencie os fundamentos. Você não terá como corrigir ou testar que algo que não sabe que está errado.