Question

刚开始看FsCheck，写了几个测试，现在我想知道构成更复杂的仲裁的好策略是什么。在任意好的方法中注册仲裁？像这样的东西

public class DiscountAmountArbitrator
    {
        public static Arbitrary<DiscountAmount> DiscountAmounts()
        {
            Arb.Register<AmountArbitrary>();

            var toReturn = (from a in Arb.Generate<Amount>()
                            select new DiscountAmount(a))
                          .ToArbitrary();

            return toReturn;
        }
    }

 public class AmountArbitrary
    {
        public static Arbitrary<Amount> Amounts()
        {
            return Arb.Generate<decimal>().Where(x => x > 0)
                .Select(x => new Amount(x))
                .ToArbitrary();
        }
    }

Answer 1

我的建议是，如果您有不同的相关任意实例，请将它们添加到同一个类中，并在不同实例之间存在依赖关系时直接调用这些方法。然后在测试中使用任何任意实例时，立即注册它们。

这使得您的代码更少依赖于执行事物的顺序（Arb.Register是一个基本的副作用操作，这可能会导致一些意想不到的结果）。将Arbitrary方法放在不同的类上没有任何实际优势。所以我会改写你的内容如下：

public class Arbitraries
{
    public static Arbitrary<DiscountAmount> DiscountAmounts()
    {
        var toReturn = (from a in Amounts().Generator
                        select new DiscountAmount(a))
                      .ToArbitrary();

        return toReturn;
    }

    public static Arbitrary<Amount> Amounts()
    {
        return Arb.Generate<decimal>().Where(x => x > 0)
            .Select(x => new Amount(x))
            .ToArbitrary();
    }
}

这是构建仲裁的好策略吗？

1 个答案: