QuickTheories,基于属性的Java8测试QuickTheories基于属性的Java8测试。如果你正在寻找QuickCheck的Java,你刚刚发现它。其他系统不同,QuickTheories支持自动魔法收缩和使用覆盖数据的目标搜索。什么是基于属性的测试