jqwik中List<Action>和ActionSequence的区别

Question

jqwik中的List<Action>和ActionSequence之间到底有什么区别。

在jqwik的文档中，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/。