C#、xunit、fscheck，使用自定义生成器或约束随机字符串编写基于属性的简单测试

Question

我正在尝试解决 钻石卡塔 以学习如何使用 fscheck 库编写基于属性的测试。我想用 C# 编写测试，我正在使用 Visual Studio 2017.

我想编写一个基于属性的测试，它不会生成任何随机字符作为输入，而只会生成字母。我不确定如何编写生成器 fscheck 需要执行此操作以及将代码放在哪个文件中？

我到处搜索并阅读文档，但遇到了问题（部分原因是我无法很好地将 F# 转换为 C#）。

[Property]如何将输入数据限制为字母？

如果有更好的方法请告诉我。

[编辑：]

我编辑了我的代码示例，其中现在包含 Kurt Schelfthout 的一个有效解决方案。

测试

using DiamondKata;
using FsCheck;
using FsCheck.Xunit;
using Xunit;

namespace DiamondKataTests
{
    public static class Arbitraries
    {
        private static readonly string upperAlphabet = "ABCDEFGHIJKLMNOPQRSTUVWXYZ";
        private static readonly string lowerAlphabet = ""; //upperAlphabet.ToLower();
        private static readonly char[] wholeAlphabet = (lowerAlphabet + upperAlphabet).ToCharArray();
        public static Arbitrary<char> LetterGenerator()
        {
            return Gen.Elements(wholeAlphabet).ToArbitrary();
        }
    }

    public class DiamondKataTests
    {
        // THIS WORKS and is apparently the preferred way of doing things
        // also see here: 
        [Property()]
        public Property shouldReturnStringAssumesValidCharWasProvided()
        {
            return Prop.ForAll(Arbitraries.LetterGenerator(), letter =>

                // test here
                Assert.NotNull(Diamond.Create(letter))
            );
        }

        // Second solution ...
        // Error here: Arbitraries is a type not valid in the given context
        [Property(Arbitrary = new[] { typeof<Arbitraries> })]
        public void testThatAssumesValidCharWasProvided(char lettersOnlyHERE)
        {
            // ?
        }
    }
}

Class 测试

namespace DiamondKata
{
    public class Diamond
    {
        public static string Create(char turningPointCharacter)
        {
            return "";
        }
    }
}

Answer 1

您不能在属性中放置约束，您可以传递给属性的类型仅限于这样做。

你有几个选择。您可以为 char 定义自定义 Arbitrary 实例，即 Arbitrary<char> 的实现并配置属性以使用它。

public static class Arbitraries
{
    public static Arbitrary<char> LetterGenerator()
    {
        return Gen.Elements(wholeAlphabet).ToArbitrary();
    }
}

public class DiamondKataTestClass1
{
    [Property(Arbitrary=new[] { typeof<Arbitraries> })]
    public void testThatAssumesValidCharWasProvided(char lettersOnlyHERE)
    {
        // ?
    }
}

您还可以使用更灵活的 API 来自定义内联生成器：

public class DiamondKataTestClass1
{
    [Property()]
    public Property testThatAssumesValidCharWasProvided()
    {
        Prop.ForAll(Arbitraries.LetterGenerator()) (letter =>
        // test here
        )
    }
}

C#、xunit、fscheck，使用自定义生成器或约束随机字符串编写基于属性的简单测试

C#, xunit, fscheck, writing a simple property based test using a custom generator or constrained random string

c#

xunit

visual-studio

fscheck

property-based-testing

C#、xunit、fscheck，使用自定义生成器或约束随机字符串编写基于 属性 的简单测试

C#, xunit, fscheck, writing a simple property based test using a custom generator or constrained random string

c#

xunit

visual-studio

fscheck

property-based-testing

C#、xunit、fscheck，使用自定义生成器或约束随机字符串编写基于属性的简单测试