使用 C# 使用 FsCheck 生成随机字符串

Question

我想逐步将 FsCheck 集成到我的 C# 测试代码中（作为第一步）。

我想随机生成部分输入数据。

这是我生成随机字符串的方式：


static string RandomString() {
  var kgen = Gen.Constant(Gen.Sized(g => Gen.OneOf(Arb.Generate())));
  var sgen = Gen.Sample(1, 10, kgen).First();
  var str = Gen.Eval(10, Random.StdGen.NewStdGen(0, 1000), sgen);
  return str;
}

如果我多次调用它，每次都会得到相同的字符串。

我怎样才能每次都得到不同的字符串 and/or 正确编写这段代码？

Answer 1

您应该用属性替换您的测试，而不是尝试生成随机字符串，然后在您的测试中手动使用它们。 FsCheck 不适合将其用作随机生成器，尽管可以强制将其用作随机生成器。类似于：

var maxLength = 10
return Arb.Generate<string>().Sample(maxLength, 1).Single()

应该生成一个新的随机字符串，长度最多为 10 "most of the time"，也就是说，如果我没记错的话，随机种子是基于时间的。因此，如果您在同一间隔内调用它两次，它将 return 相同的字符串。

这样做不会让您利用收缩和 Prop 中的 API 来观察和分类生成的数据，例如限制它：https://fscheck.github.io/FsCheck/Properties.html

使用 C# 使用 FsCheck 生成随机字符串

Generate random string with FsCheck using C#

c#

testing

f#

fscheck