TEST OF SIGNIFICANCE IN A VERIFICATION PROGRAM