Question

我正在尝试解决 diamond kata ，以便了解如何使用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: https://stackoverflow.com/questions/32811322/fscheck-in-c-generate-a-list-of-two-dimension-arrays-with-the-same-shape
        [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)
        {
            // ?
        }
    }
}

要测试的课程

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

Answer 1

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

您有几个选择。您可以为Arbitrary定义自定义char实例，即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，使用自定义生成器或约束随机字符串编写基于属性的简单测试

1 个答案: