Использование FsCheck с NUnit: получение исключения при использовании произвольных типов (или: как использовать произвольные типы с атрибутами)

Тип, указанный в параметре Property.Arbitrary, должен иметь статические элементы (возможно, несколько) типа Arb. Как и в коде, который вы связали:

type TestArbitrary2 =
   static member NegativeDouble() =
       Arb.Default.Float()
       |> Arb.mapFilter (abs >> ((-) 0.0)) (fun t -> t <= 0.0)

Применив это к вашему коду, он должен выглядеть так:

 type MyArb() =
    static member m() = Arb.Default.DoNotSizeInt64()

Параметр Property.Arbitrary означает не "реализацию Arbitrary", а "набор реализаций классов типов".

Видите ли, исходная реализация QuickCheck на Haskell полагается на классы типов для предоставления значений разных типов. Чтобы конкретный тип можно было «быстро проверить», должен быть экземпляр класса «Произвольный», определенный для этого типа (например, здесь приведены экземпляры для всех основных типов).

Поскольку F# не поддерживает классы типов как таковые, FsCheck вынужден подделывать их, и здесь используется следующая схема: каждый экземпляр класса типов представлен статическим членом, который возвращает таблицу функций. Например, если мы хотим имитировать Eq typeclass< /a>, мы бы определили его примерно так:

type Eq<'a> = { eq: 'a -> 'a -> bool; neq: 'a -> 'a -> bool }

type EqInstances() =
   static member ForInt() : Eq<int> = 
      { eq = (=); neq = (<>) }

   static member ForMyCustomType() : Eq<MyCustomType> = 
      { eq = fun a b -> a.CompareTo(b) = 0
        neq = fun a b -> a.CompareTo(b) <> 0 }

Этот вопрос ясно демонстрирует, ИМО, почему основанный на отражении API для FsCheck далеко не идеален. Я стараюсь полностью избегать этого API, поэтому вместо этого я бы написал свойство OP следующим образом:

open FsCheck
open FsCheck.Xunit

[<Property>]
let MultiplyIdentity () =
    Arb.Default.DoNotSizeInt64 () |> Prop.forAll <| fun (DoNotSize x) -> x * 1L = x

Как предполагают директивы open, здесь используется FsCheck.Xunit вместо FsCheck.NUnit, но, насколько мне известно, нет никакой разницы в том, как работает API.

Преимущество этого подхода заключается в том, что он безопасен для типов и более легкий, поскольку вам не нужно реализовывать статические классы каждый раз, когда вам нужно настроить FsCheck.

Если вы предпочитаете подход, описанный Марком Симаном, вы также можете рассмотреть возможность использования простого FsCheck и избавиться от FsCheck.Xunit. полностью:

module Tests

open FsCheck

let [<Xunit.Fact>] ``Multiply Identity (passing)`` () = 
    Arb.Default.DoNotSizeInt64 ()
    |> Prop.forAll
    <| fun (DoNotSize x) ->
        x * 1L = x
    |> Check.QuickThrowOnFailure

let [<Xunit.Fact>] ``Multiply Identity (failing)`` () = 
    Arb.Default.DoNotSizeInt64 ()
    |> Prop.forAll
    <| fun (DoNotSize x) ->
        x * 1L = -1L |@ sprintf "(%A should equal %A)" (x * 1L) x
    |> Check.QuickThrowOnFailure

Вывод xUnit.net testrunner:

------ Test started: Assembly: Library1.dll ------

Test 'Tests.Multiply Identity (failing)' failed: System.Exception:
    Falsifiable, after 1 test (2 shrinks) (StdGen (2100552947,296238694)):

Label of failing property: (0L should equal 0L)
Original:
DoNotSize -23143L
Shrunk:
DoNotSize 0L

    at <StartupCode$FsCheck>[email protected](String me..
    at <StartupCode$FsCheck>[email protected]..
    at FsCheck.Runner.check[a](Config config, a p)
    at FsCheck.Check.QuickThrowOnFailure[Testable](Testable property)
    C:\Users\Nikos\Desktop\Library1\Library1\Library1.fs(15,0): at Tests.Multi..

1 passed, 1 failed, 0 skipped, took 0.82 seconds (xUnit.net 2.1.0 build 3179).