Question

作为一项练习，我想实现一个2-3指树。这应该是尝试FsCheck基于模型的测试的绝佳机会。我决定尝试更新的experimental version。

到目前为止，我只为测试机器编写了一个命令，因为我已经无法完成这项工作 - 另一方面它保持了帖子简短。完整代码可在GitHub上找到。

open CmdQ
open Fuchu
open FsCheck
open FsCheck.Experimental

type TestType = uint16
type ModelType = ResizeArray<TestType>
type SutType = FingerTree<TestType>

let spec =
    let prepend (what:TestType) =
        { new Operation<SutType, ModelType>() with
            override __.Run model =
                // Also tried returning the same instance.
                let copy = model |> ResizeArray
                copy.Insert(0, what)
                copy

            override __.Check(sut, model) =
                let sutList = sut |> Finger.toList
                let newSut = sut |> Finger.prepend what
                let newSutList = newSut |> Finger.toList
                let modelList = model |> Seq.toList
                let areEqual = newSutList = modelList
                areEqual |@ sprintf "prepend: model = %A, actual = %A (incoming was %A)" modelList newSutList sutList

            override __.ToString() = sprintf "prepend %A" what
        }

    let create (initial:ModelType) =
        { new Setup<SutType, ModelType>() with
            override __.Actual () = initial |> Finger.ofSeq

            override __.Model () = initial //|> ResizeArray // Also tried this.
        }

    let rndNum () : Gen<TestType> = Arb.from<uint16> |> Arb.toGen

    { new Machine<SutType, ModelType>() with
        override __.Setup =
            rndNum()
            |> Gen.listOf
            |> Gen.map ResizeArray
            |> Gen.map create
            |> Arb.fromGen

        override __.Next _ = gen {
            let! cmd = Gen.elements [prepend]
            let! num = rndNum()
            return cmd num
        }
    }

[<Tests>]
let test =
    [spec]
    |> List.map (StateMachine.toProperty >> testProperty "Finger tree")
    |> testList "Model tests"

我理解的是：Operation<_>.Run运行两次以从一个元素构建一个ResizeArray。然后使用相同的数字运行Operation<_>.Check两次以插入单个元素FingerTree<_>。

两次传球中的第一次。单元素树传入，添加使其成为（正确的）双元素树，在第一个命令之后与模型进行比较。

第二个命令始终是失败的命令。使用较大的Check（现在为3个元素）调用ResizeList，但使用与第一个命令相同的单元素树。当然，添加一个元素并不会使它达到3，测试失败。

我原本以为我需要从Check返回更新后的模型来获取命令。但是你需要返回一个Property，这是不可能的。

我是否完全误解了如何处理这个问题？如何编写基于工作模型的测试？

Answer 1

基于模型的测试假定在特定操作上调用Check时将“被测系统”修改为副作用，并在调用Setup.Actual()时为该测试运行进行初始化。它旨在处理可变的系统 - 比如一个可变对象 - 而这种风格虽然有点令人困惑，但在这些系统中可以很好地解决这个问题。

由于您的手指树类型是不可变的，我的建议是将SutType重新定义为：

type SutType = Ref<FingerTree<TestType>>

并相应地修改其余部分。

无法获得基于模型的测试工作

1 个答案: