文件名称：积分java源码-how-to-specify-it:Java和jqwik中的“如何指定”
文件大小：992KB
文件格式：ZIP
更新时间：2024-06-26 14:15:48
系统开源
积分java源码 如何指定它！ 在Java！ 2019 年 7 月，无疑是基于属性的测试最杰出的实践者之一，发表了 . 在这篇论文中，他提出 “编写 [...] 规范的五种通用方法” 又名属性。 在整篇论文中，他都将其用作工具和语言的选择。 由于相当多的开发人员不熟悉 Haskell，我想将示例转移到 Java 中用作属性测试库。 让我可以使用他的例子丰富的文本。 他的论文发表在下面，我的“混音”也是如此。 您也可以在他的 Lambda Days 2020 主题演讲中。 我对原文所做的更改 本文源自论文的 PDF 版本 - 于 2020 年 6 月 19 日下载。最终认证版本可在线获取。 约翰的原文 格式为引号， 而我的句子只是普通的段落。 在一些地方，我遗漏了一些在 Java 上下文中没有意义的单词或句子。 在一种情况下，我几乎跳过了一整页——这在文本中有所说明。 在必要的地方，我插入了我自己的几句话来解释原始版本和这个版本之间的差异。 在文章的末尾，我附上了一个我在其中解决了一些悬而未决的问题。 此外，我将 Haskell 风格的变量名称翻译成更长的 Java 名称： t变成了bs
【文件预览】：
how-to-specify-it-master
----gradlew.bat(3KB)
----gradlew(6KB)
----docs()
--------_config.yml(130B)
--------README.md(81KB)
----_config.yml(26B)
----gradle()
--------wrapper()
----src()
--------test()
----LICENSE.md(260B)
----.gitignore(272B)
----jqwik.properties(161B)
----material()
--------how-to-specify-it.2020-03-02.pdf(326KB)
--------how-to-specify-it.2019-07-04.pdf(301KB)
--------how-to-specify-it.2020-06-19.pdf(336KB)
----.gitattributes(11B)
----build.gradle(901B)