问题标签 [jqwik]

出于测试目的（没有双关语），我使用 JUnit Jupiter 附带的控制台启动器在 IDE 或 MAven 之外运行一些测试。它会找到所有 JUnit 4（又名 Vintage）和 JUnit 5（又名 Jupiter）测试。

但是，它没有发现我的jqwik测试。

我尝试了什么：在 Maven 项目中，调用mvn test-compile dependency:copy-dependencies，然后在目标文件夹中：

这个咒语将运行 Jupiter 和 Vintage，但不是 jqwik，而 Surefire 运行。

使用 jqwik.net，尝试生成一个 Rule 类，其中包含一个嵌套的 RuleConfig 类。RuleConfig 类有一个嵌套的 ruleProps，它是一个 Map

statusReturnedFromApplyingRule 方法总是返回一个初始化的 Rule 而不是使用 @provide 方法值？？返回规则： rule:Rule{ruleId='null', inputMetricSelector=null, ruleConfig='RuleConfig{ruleType='null', ruleProps={}}'}, elements:[{}]

这是我的代码：

TIA

此代码用于为元素生成单个 Map 条目。但我想使用 generateInputMapElements 从地图中生成随机数量的条目并传递给 statusReturnedFromApplyingRule()

如何使用嵌套生成器编写 jqwik 生成器方法

在 jkwik 网站上的第一个示例中，有一个生成器可能会生成大量“可被 3 整除”的值：

jqwik 会为所有可能的值运行属性测试，还是从该列表中选择值？如果是第二种情况，它如何选择？

我正在使用 java jqwik 进行基于属性的测试，我想生成排序数组，我的代码到目前为止：

以下代码旨在生成随机排序的数组，并将键作为该数组的一个元素。但是我不知道问题，键不在数组中？

为什么我的键不在数组中，我需要键是 Integer[] 数组的一个元素。

鉴于以下订购要求：

所有以“foo”开头的字符串都应该是第一个。

所有以“bar”开头的字符串都应该是最后一个。

不以“foo”或“bar”开头的字符串也可以出现在列表中。

如何使用基于属性的测试来测试上述需求的实现而不感到头疼？

有没有比以下更优雅的东西：

我们对订单系统进行了状态测试。有一个Arbitrary将生成一个Order具有多个LineItem' 的对象。

有以下措施：

• 创建一个Order
• 取消一个LineItem

创建订单的操作需要订单本身，例如：

动作的状态了解所有创建的订单。

要取消 a LineItem，我们需要了解创建了哪些订单。在内部CancelLineItemAction执行以下操作是否安全？

基于 的 javadoc Arbitrary.sample()，它似乎是安全的，但是在有状态测试的文档中没有明确提到这个结构，我们不想仅仅为了破坏测试的可重复性而广泛使用它。

我使用假设移植了一些 Python 代码，并尽量保持源代码尽可能接近。python 测试文件有参数化方法和非参数化方法。如果我将它们全部标记为@Property，则非参数化（因此相同）的方法会被调用 1000 次。

刚学jqwik，所以可能会遗漏一些简单的东西。如果没有，我就把它们分成两个文件。谢谢。

根据此处的 jqwik 文档：https ://jqwik.net/docs/current/user-guide.html#integer-constraints它将整数约束注释声明为：

@Positive：大于 0 的数字。适用于所有整数类型。

@Negative：小于 0 的数字。适用于所有整数类型。

等等

是否有任何方便的注释可以自动生成@NegativeOrZero / @PositiveOrZero 之类的东西？

我目前正在使用以下代码：

如果默认情况下可用，速记注释肯定会派上用场。