前端之家

  1. 首页
  2. 问答

带有设置和拆卸功能的 FsCheck

• 问答

总结

是否有任何事件可以在每个属性案例之前运行，以便我可以为属性的每次运行运行设置和拆卸？

完整版

我希望能够测试成对的行为，例如“我总是可以获取写入的记录”或“readAllLines 的输出等于 writeAllLines 的输入”和属性。我还希望该属性不关心操作集是如何实现的（即是否需要清理任何资源）。

每次运行的属性都应该

  • 独立于其他运行
  • 在单次运行中维护操作调用之间的状态
  • 不知道操作如何维护状态
  • 不是资源泄漏

我正在使用 FsCheck 和 expecto。示例将在 expecto 中，但问题并非特定于框架。

使用基于示例的测试编写这种设置和拆卸非常容易。它们采用可预测的参数集，因此我可以在添加前后事件的包装器中运行它们。

let testWithEnv setup cleanup name test = 
    let testWrap () = 
        let (api,env) = setup ()
        test api
        cleanup env 
    testCase name testWrap

属性测试无法做到这一点。它们有未知数量的参数，这些参数将主要由随机数据填充。

我可以很容易地应用这组配对行为，但任何创建的资源（如流）都不会被处理。

let testPropertyWithEnv setup cleanup name test = 
    let testWrap () = 
        let (api,env) = setup () // this is actually run once,but immutable so the individual runs don't leak state
        test api // have to return this to pass along unapplied parameters
    testProperty name testWrap

我看过

跑者活动

看着 how to run FsCheck tests 最接近的钩子似乎是

  • OnStartFixture 每个测试类只运行一次
  • OnArguments 在每次通过后运行，并可能用于运行清理
基于模型的功能

还有可以工作的实验性 Model-based testing features。但是，考虑到我只关心操作的外部一致性，这似乎很重。我不想访问后备状态。

放弃和内联

我总是可以写

testProperty "name" (fun arg1 arg2 ->
    let (api,env) = setup ()
    //test code here
    cleanup env
)

但我想避免每个属性中的样板文件和支持状态的暴露。

一次性用品

一次性物品也没有解决缺少设置挂钩的问题。

更多实践运行循环

我研究了在我的包装器中运行属性测试的方法，但最小的运行器 Check.one 用于单个属性，在属性的运行之间没有挂钩。

懒惰的包装器

使包装器懒惰也不起作用testProperty name lazy(testWithSetup)

john_anson 回答：带有设置和拆卸功能的 FsCheck

在 FsCheck 中实际上没有任何东西可以帮助您，即使有，我也不认为它会在 Expecto 中直接暴露。我也不认为在 FsCheck 方面添加那么简单 - 如果您在 FsCheck 存储库中提出问题，我很乐意进一步讨论。

无论如何，通过巧妙地使用部分应用程序并以一些轻微的样板为代价，实际上可以包装“可变参数”函数，我认为这基本上就是您要问的。

看，代码：


// these types are here to make the signatures look nicer
type Api = Api
type Env = Env

let testProperty k = 
    // call the property with "random" arguments
    for i in 0..2 do
        k i (char i) (string i)

let setup() = 
    printfn "setup ran"
    (Api,Env)

let teardown Env = 
    printfn "teardown ran"

let test0 Api arg1 = 
    printfn "test0 %A" arg1

let test1 Api (arg1:int) (arg2:char) = 
    printfn "test1 %A %A" arg1 arg2

let test2 Api arg1 arg2 arg3 =
    printfn "testFun %A %A %A" arg1 arg2 arg3

let testWithEnv (setup:unit -> Api*Env) (teardown: Env -> unit) (test: Api -> 'a) (k: 'a -> unit) :unit =
    let (api,env) = setup()
    k (test api)
    teardown env

let (<*>) (f,k) arg  =
    f,(fun c -> k c arg)

let (<!>) f arg =
    f,(fun k -> k arg)

let run (f,k) = f k

testProperty (fun arg1 arg2 arg3 ->
    testWithEnv setup teardown test2 <!> arg1 <*> arg2 <*> arg3 |> run
)

这里的想法是您使用运算符 <!> 和 <*> 将任意数量的任意类型的参数串在一起，将其传递给 testWithEnv 函数，然后调用 {{1 }} 结果。运算符和 run 基本上是构建和应用可变参数列表所必需的。

这都是类型安全的，即如果你忘记传递一个参数或者它的类型错误，你会得到一个类型错误，尽管它可能不像普通的函数应用程序那么清楚。

我建议将其粘贴到 IDE 中并检查类型，这将极大地有助于理解正在发生的事情。

您可以使用其他一些样式来编写它。例如使用稍微不同的定义和 run 函数，您可以编写类似

the

这将 let (<+>) k arg = fun c -> k c arg let the arg = fun k -> k arg testWithEnv setup teardown test2 (the arg1 <+> arg2 <+> arg3) 函数替换为 run，并且只需要一个运算符 the。可能还有其他方法可以减少它，选择你的毒药。

expectof#fscheckproperty-based-testing
本文链接：https://www.f2er.com/1212647.html

大家都在问