I'll mostly agree with that. Harder to do looking at assembler. However, at behavioral level, you can just black box it to see if it passes acceptance tests for desired outputs. If it does, it might be same for your needs. If it doesnt, it's clearly a problem.
Your point applies totally if we're talking the How instead of the What.
Your point applies totally if we're talking the How instead of the What.