论文标题
较少的任意等待时间
Less Arbitrary waiting time
论文作者
论文摘要
物业测试是为您的计划建立测试套件的最便宜，最精确的方法。特别是如果数据型享有不错的数学定律。但这也是使它在不合理的长时间内运行的最简单方法。我们证明了深层递归数据结构与流行病的增长率之间的联系，并展示了如何解决问题，并使任意实例在线性时间内相对于假定的测试大小。
Property testing is the cheapest and most precise way of building up a test suite for your program. Especially if the datatypes enjoy nice mathematical laws. But it is also the easiest way to make it run for an unreasonably long time. We prove connection between deeply recursive data structures, and epidemic growth rate, and show how to fix the problem, and make Arbitrary instances run in linear time with respect to assumed test size.
