1

我需要编写一个简单的方法来接收参数（例如 a string）并执行 smth。通常我会做两个测试。第一个是保护条款。第二个将验证预期的行为（为简单起见，该方法不应失败）：

[Fact]
public void DoSmth_WithNull_Throws()
{
    var sut = new Sut();
    Assert.Throws<ArgumentNullException>(() =>
        sut.DoSmth(null));
}

[Fact]
public void DoSmth_WithValidString_DoesNotThrow()
{
    var s = "123";
    var sut = new Sut();
    sut.DoSmth(s); // does not throw
}

public class Sut
{
    public void DoSmth(string s)
    {
        if (s == null)
            throw new ArgumentNullException();

        // do smth important here
    }
}

当我尝试利用FsCheck [Property]属性生成随机数据时，null许多其他随机值被传递给测试，这在某些时候会导致 NRE：

[Property]
public void DoSmth_WithValidString_DoesNotThrow(string s)
{
    var sut = new Sut();
    sut.DoSmth(s); // throws ArgumentNullException after 'x' tests
}

我意识到这是 FsCheck 生成大量随机数据以涵盖不同情况的整个想法，这绝对很棒。

是否有任何优雅的方式来配置[Property]属性以排除不需要的值？（在这个特定的测试中是null）。

4

1 回答 1

3

FsCheck 有一些内置类型可用于指示特定行为，例如，引用类型值不应为空。其中之一是NonNull<'a>。如果您要求其中之一，而不是要求原始字符串，您将不会得到空值。

在 F# 中，您可以将其解构为函数参数：

[<Property>]
let DoSmth_WithValidString_DoesNotThrow (NonNull s) = // s is already a string here...
    let sut = Sut ()
    sut.DoSmth s // Use your favourite assertion library here...
}

我认为在 C# 中，它应该看起来像这样，但我没有尝试过：

[Property]
public void DoSmth_WithValidString_DoesNotThrow(NonNull<string> s)
{
    var sut = new Sut();
    sut.DoSmth(s.Get); // throws ArgumentNullException after 'x' tests
}
于 2016-12-07T16:42:16.717 回答