add random strategy to functional test