c# - 如何在 F# 中使用 xUnit 和 FsCheck 检查方法是否引发异常

Question

我正在使用 xUnit 和 FsCheck 在 C# 中执行 Diamond Kata，并使用 F# 编写测试，并且在尝试检查用户输入无效(任何字符)是否引发异常时遇到了一些麻烦这不是一个没有任何变音符号的字母)。现在的代码如下所示:

正在测试的方法:

public static string Make(char letter)
{
    if (!Regex.IsMatch(letter.ToString(), @"[a-zA-Z]"))
    {
        throw new InvalidOperationException();
    }

    // code that makes the diamond
}

测试:

[<Property>]
let ``Diamond.Make must throw an InvalidOperationException if a character that isn't 
      an alphabet letter without any diacritics is given`` (letter : char) =
    (not (('A' <= letter && letter <= 'Z') || ('a' <= letter && letter <= 'z'))) ==> lazy 
        (Assert.Throws<InvalidOperationException>(fun () -> Diamond.Make letter |> ignore))

我的方法的问题是测试表明没有抛出异常，但是当我使用测试套件显示的输入运行应用程序时，会引发异常。

这是测试套件给出的消息(我故意省略了测试名称和堆栈跟踪):

Test Outcome:   Failed
Test Duration:  0:00:00,066
Result Message: 
FsCheck.Xunit.PropertyFailedException : 
Falsifiable, after 1 test (0 shrinks) (StdGen (1154779780,296216747)):
Original:
')'
---- Assert.Throws() Failure
Expected: typeof(System.InvalidOperationException)
Actual:   (No exception was thrown)

尽管测试套件表示对于值 ')' 不会引发异常，但我对其进行了手动测试，并且确实引发了预期的异常。

如何确保测试捕获异常？

Answer 1

我认为问题是 Assert.Throws 返回给定类型的异常(如果发生)。只需忽略 Assert.Throws 的返回值应该会对您有所帮助。

let test (letter : char) =
    (not (('A' <= letter && letter <= 'Z') || ('a' <= letter && letter <= 'z'))) ==> 

    lazy
        Assert.Throws<InvalidOperationException>(fun () -> Diamond.Make letter |> ignore)
        |> ignore