nyaya:Scala和Scala.JS中的随机数据生成和/或属性测试