积分java源码-how-to-specify-it:Java和jqwik中的“如何指定”

积分java源码 如何指定它！ 在Java！ 2019 年 7 月，无疑是基于属性的测试最杰出的实践者之一，发表了 . 在这篇论文中，他提出 “编写 [...] 规范的五种通用方法” 又名属性。 在整篇论文中，他都将其用作工具和语言的选择。 由于相当多的开发人员不熟悉 Haskell，我想将示例转移到 Java 中用作属性测试库。 让我可以使用他的例子丰富的文本。 他的论文发表在下面，我的“混音”也是如此。 您也可以在他的 Lambda Days 2020 主题演讲中。 我对原文所做的更改 本文源自论文的 PDF 版本 - 于 2020 年 6 月 19 日下载。最终认证版本可在线获取。 约翰的原文 格式为引号， 而我的句子只是普通的段落。 在一些地方，我遗漏了一些在 Java 上下文中没有意义的单词或句子。 在一种情况下，我几乎跳过了一整页——这在文本中有所说明。 在必要的地方，我插入了我自己的几句话来解释原始版本和这个版本之间的差异。 在文章的末尾，我附上了一个我在其中解决了一些悬而未决的问题。 此外，我将 Haskell 风格的变量名称翻译成更长的 Java 名称： t变成了bs