使用 JSVerify 强制特定输入答案

【问题标题】：Force specific input with JSVerify使用 JSVerify 强制特定输入
【发布时间】：2018-05-25 16:06:59
【问题描述】：

我开始使用 JSVerify 进行基于属性的测试。

给定一个接受字符串作为参数的函数（只是一个示例），我使用 JSVerify 传入大量任意字符串，并查看函数的行为是否符合所有字符串的预期。事实证明，有一些字符串会导致测试失败：到目前为止，我发现如果字符串包含\0000、\0001或\n，则测试失败。

我想更正我的代码，以便相应地处理这种情况，但是为了防止回归，我想确保每个测试运行都包含这些情况。我还希望避免对数字生成器的种子 (rngState) 进行硬编码，因为这会阻止将来发现其他极端情况。

澄清一下：假设我正在测试我的函数foo()：

jsc.assert(jsc.forall("string", (str) => {
  const result = foo(str)
  return (/* some expression that evaluates whether the result is correct */)
}))

每次运行测试套件时，此测试都会将 100 个随机字符串输入foo()。最初它正在通过。在一些运行之后，它突然失败，因为这一次，随机字符串生成器生成了一个包含字符 \0000 的字符串，我的函数没有按预期处理。从现在开始，我希望我的测试每次都使用这个字符串作为输入，加上通常的 100 个随机输入。

是否有使用 JSVerify 的内置方法来执行此操作？还是应该将这些输入视为单独的测试用例？

【问题讨论】：

标签： javascript property-based-testing

【解决方案1】：

这就是我解决您提到的问题的方式。除了在每次测试调用时运行随机种子之外，我的代码还可以根据需要指定尽可能多的“坏”种子，而不是测试特定值。

注意事项： 1）我正在使用摩卡 2）我正在使用异步代码，所以我返回一个承诺 3）JSON.stringify 让我很容易看到上面给出的种子

上面的1,2,3你仍然可以使用这个方法，并进行一些重构：

const _ = require('lodash');
var jsc = require('jsverify');

// mocha's describe
describe("StackOverflow", function () {
  it('example1', function(done) {

    let t = jsc.forall('array nat', function (in1) {
      let asComplex = foo(in1);
      let backAgain = bar(asComplex);

      return new Promise(function(resolve, reject) {
        setTimeout(() => {
          resolve(_.isEqual(backAgain,in1));
        },500); // setTimeout
      }); // promise
    }); // forall

    let props = {size:0xffffffff, tests: 1000};
    jsc.check(t, props).then( r => r === true ? done() : done(new Error(JSON.stringify(r))));
    props.tests = 3;
    jsc.check(t, props).then( r => r === true ? done() : done(new Error(JSON.stringify(r))));
    props.rngState = "8e1da6702e395bc84f";
    jsc.check(t, props).then( r => r === true ? done() : done(new Error(JSON.stringify(r))));
    // add more seeds here
  }); // it
}); // describe

【讨论】：