Software for ensuring functional equivalence of computer programs that have been moved from one computing environment to another