【文件属性】：
文件名称：积分java源码-how-to-specify-it:Java和jqwik中的“如何指定”
文件大小：992KB
文件格式：ZIP
更新时间：2021-06-06 20:29:08
系统开源
积分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)