Tests to confirm that the results of a program lie within certain ranges according to the expected probability distribution.