Four well-established tests for verifying the integrity of business transactions in adata-processing environment.