How to do random testing