两者的区别到底是什么 列表(<);操作(>); 和 动作序列 In JQwik.
在jqwik的文件中, 动作序列 使用创建 任意性。序列(…) 和 列表(<);操作(>); 使用创建 任意性。其中之一()。列表()
由于目的 动作序列 和 列表(<);操作(>); 是提供一组操作,以相互跟踪。
请引导我。
谢谢:)
两者的区别到底是什么 列表(<);操作(>); 和 动作序列 In JQwik.
在jqwik的文件中, 动作序列 使用创建 任意性。序列(…) 和 列表(<);操作(>); 使用创建 任意性。其中之一()。列表()
由于目的 动作序列 和 列表(<);操作(>); 是提供一组操作,以相互跟踪。
请引导我。
谢谢:)
未知地区 1F
始终使用 动作序列 如果您想进行状态测试。它具有使用动作前提的内置能力,并且其收缩行为针对该用例进行了优化。如果你愿意 列表(<);操作(>); 相反,你必须重建所有这些。
如果您需要介绍如何使用它,请参阅https://jqwik.net/docs/current/user-guide.html#stateful-测试。更多详细信息请参见https://blog.johanneslink.net/2018/09/06/stateful-testing/和https://johanneslink.net/model-based-testing/.