That is impossible with almost all non-trivial software. Testing proves only the presence of errors not their absence.