add testcase for Random