QuickCheck的Javascript

是否有一个适用于Javascript的quickcheck版本，并且保持良好？ 我发现了几个例如check.js和claire，但他们似乎都不支持收缩失败的testing用例，这一直使我成为整个问题中最有用的部分。

Answer 1

我是jsverify的创造者。 我会不断努力使其更好，错误报告和function要求是欢迎的。

自述文件中还有其他javascript生成testing库的列表。 到目前为止，我还没有发现任何其他更好的替代jsverify。

Answer 2

我写了quick_check.js ，它有一个很好的生成器库。 目前还没有收缩，但正在计划中。

Answer 3

在javascript中似乎缺乏一个很好的类似于quickcheck的testing工具。 但是他们在types化的语言中要得到更好的支持，事实上，如果你愿意的话，你可以用这些语言之一编写你的testing。

为了避免处理运行时互操作，我build议使用一种编译为JS的语言运行在node.js上（例如： Purescript with purescript-quickcheck ），或者使用Java 8中提供的Nashorn引擎的基于Java的语言，例如ScalaCheck 。 你甚至可以使用ghcjs和quickcheck库的原始风格！