List<Action>和ActionSequence在jqwik中的区别

Question

List<Action>和ActionSequence在约克维克中到底有什么区别？

在约克维克的文档中，ActionSequence使用Arbitraries.sequences(...)创建，List<Action>使用Arbitraries.oneOf().list()创建。

因为ActionSequence和List<Action>的目的是提供操作的组合，以便彼此运行。

请引导我。谢谢:)

Answer 1

如果希望进行有状态测试，请始终使用ActionSequence。它具有使用Action的前提条件的内置能力，并且它的收缩行为是针对该用例优化的。如果要使用List<Action>，则必须重新构建所有这些。

如果您需要介绍如何使用它，请查看https://jqwik.net/docs/current/user-guide.html#stateful-testing。更多细节可以在https://blog.johanneslink.net/2018/09/06/stateful-testing/和https://johanneslink.net/model-based-testing/中找到。