c#中的FsCheck:生成一个具有相同形状的二维数组列表

本文关键字：列表 二维数组 一个 FsCheck 中的 | 更新日期: 2023-09-27 18:14:39

假设我正在编写一些视频分析代码。下面是Video类的简化版本:

public class Video
{
    public readonly int Width;
    public readonly int Height;
    public readonly List<int[,]> Frames;
    public Video(int width, int height, IEnumerable<int[,]> frames)
    {
        Width = width;
        Height = height;
        Frames = new List<int[,]>();
        foreach (var frame in frames)
        {
            if (frame.GetLength(0) != height || frame.GetLength(1) != width)
            {
                throw new ArgumentException("Incorrect frames dimensions");
            }
            Frames.Add(frame);
        }
    }
}

如何制作Arbitrary<Video>并注册它?我要怎么做一个收缩器?

试了一下，不明白apply是怎么工作的:

public static Arbitrary<Video> Videos()
{
    var videoGen = Arb.Generate<PositiveInt>()
        .SelectMany(w => Arb.Generate<PositiveInt>(), (w, h) => new {w, h})
        .Apply( /* what is Gen<Func<a,b>> */);
    return videoGen.ToArbitrary();
}

尝试了这个，但是无法在这里插入列表生成器:

public static Arbitrary<Video> Videos()
{
    var videoGen = Arb.Generate<PositiveInt>()
        .SelectMany(w => Arb.Generate<PositiveInt>(), (w, h) => new Video(w, h, /* how to plug generator here? */));
    return videoGen.ToArbitrary();
}

c#中的FsCheck:生成一个具有相同形状的二维数组列表

使用Kurt Schelfthout的答案作为基础，您可以为video类编写任意代码，如下所示:

public static class VideoArbitrary
{
    public static Arbitrary<Video> Videos()
    {
        var genVideo = from w in Arb.Generate<PositiveInt>()
                       from h in Arb.Generate<PositiveInt>()
                       from arrs in Gen.ListOf(
                           Gen.Array2DOf<int>(
                               h.Item,
                               w.Item,
                               Arb.Generate<int>()))
                       select new Video(w.Item, h.Item, arrs);
        return genVideo.ToArbitrary();
    }
}

你可以用不同的方式使用它。

普通FsCheck

下面是如何使用Video Arbitrary与普通的FsCheck，这里托管在xUnit.net测试用例中，这不是必需的:您可以在您喜欢的任何进程中托管它:

[Fact]
public void VideoProperty()
{
    var property = Prop.ForAll(
        VideoArbitrary.Videos(),
        video =>
        {
            // Test goes here...
            Assert.NotNull(video);
        });
    property.QuickCheckThrowOnFailure();
}

Prop.ForAll对于定义自定义任意属性非常有用。当您调用QuickCheckThrowOnFailure时，它将为Video类的"所有"(默认值:100)值运行测试。

未类型化的xUnit.net属性

你也可以使用FsCheck。Xunit Glue库，但是必须将任意作为弱类型值传递给属性:

[Property(Arbitrary = new[] { typeof(VideoArbitrary) })]
public void XunitPropertyWithWeaklyTypedArbitrary(Video video)
{
    // Test goes here...
    Assert.NotNull(video);
}

这很简单，很容易理解，但是在分配Arbitrary属性时不涉及静态类型检查，所以我不太喜欢这种方法。

键入的xUnit.net属性

使用FsCheck的更好方法。Xunit with custom Arbitraries是将它与Prop结合起来。原则:

[Property]
public Property XUnitPropertyWithStronglyTypedArbitrary()
{
    return Prop.ForAll(
        VideoArbitrary.Videos(),
        video =>
        {
            // Test goes here...
            Assert.NotNull(video);
        });
}

注意这个方法的返回类型不再是void，而是Property;[Property]属性理解这种类型，并相应地执行测试。

第三种选择是我在xUnit.net中使用自定义Arbitraries的首选方式，因为它带回了编译时检查。

只是一时兴起的草图-未编译:)

var genVideo = from w in Arb.Generate<PositiveInt>()
               from h in Arb.Generate<PositiveInt>()
               from arrs in Gen.ListOf(Gen.Array2DOf(h, w, Arb.Generate<int>))
               select new Video(w, h, arrs);
相关文章：