A system such as a service of a computing resource service provider includes executable code that, if executed by one or more processors, causes the one or more processors to identify a set of resources associated with a first database system, determine, based at least in part on the set of resources, an expected outcome of an operation of a second database system, and generate, executable code that, if executed, verifies an actual outcome of the operation of the second database system against the expected outcome. The system may be utilized as part of a database migration process where data from a first database system is transferred to a second database system.