QuickCheck用于Javascript

Question

有没有一个版本的quickcheck为Javascript工作，并得到很好的维护？我已经找到了几个像check.js和claire这样的例子，但是它们似乎都不支持失败测试用例的萎缩，这一直让我觉得是整个问题中最有用的部分。

Answer 1

我是查证的创造者。我将不断努力使它更好，bug报告和特性请求是受欢迎的。

自述文件中还有其他javascript生成测试库的列表。到目前为止，我还没有找到任何其他好的替代jsverify的方法。

Answer 2

我最近发布了https://github.com/dubzzz/fast-check

我构建它是为了回答我在JavaScript中现有的quickcheck实现中遇到的几个限制。

它本身就有一个收缩特性，它甚至可以缩小仲裁员的组合(我尝试过的框架在其中一个仲裁员上失败了)。它还可以生成大型对象和数组。默认情况下，它倾向于先尝试较小的值，以检测琐碎的边缘情况，同时在下一次运行中涵盖所有可能的输入。许多其他特性正在进行中或已经可用:)

干杯，尼古拉斯

Answer 3

我写了check.js，它有一个很好的生成器库。收缩尚未出现，而是有计划的。