First version of testCaseRandom().