How is an ORMIT™-OpenJava Oracle Forms migration validated? How do you prove it behaves like the original?

With tests at every level: unit, integration, functional and end-to-end tests during the migration, then acceptance and performance testing at the end. Each SQL statement either converts cleanly or fails the conversion, so a migration can't go through with SQL errors. Navigation between screens is checked against the original during QA.