Witness 中随机分布函数