Verifying dynamically generated operations on a data store includes
carrying out setup actions for access to the data store, the setup
actions being based at least in part on a request for which the
dynamically generated operations will be generated. The carrying out of
setup actions includes permissions being set for portions of the data
store to establish a restricted portion of the data store and an
unrestricted portion of the data store, as well as using one or more
additional techniques to check whether any unexpected changes were made
to the unrestricted portion or to lock access to parts of the
unrestricted portion. After the dynamically generated operations are
performed, a verification is made that no unexpected work was performed
by the dynamically generated operations. If unexpected work was performed
then the operations are determined to be not correct for the request.