我可以调用嵌套函数进行单元测试吗?

时间:2012-05-31 20:17:25

标签: unit-testing testing f# functional-testing

在F#中,我想对具有多级嵌套函数的函数执行单元测试。 我希望能够单独测试嵌套函数,但我不知道如何调用它们。 在调试时,每个嵌套函数都被调用为一种函数对象,但我不知道我是否可以在编译时访问它们。

我不想更改我正在使用的嵌套方案,因为它在功能上最有意义地使它们以这种方式嵌套,因为在每个嵌套级别都有一些事实上的“继承”某些函数参数。 / p>

这样的事情可能吗?如果没有,单元测试嵌套函数的一般过程是什么?他们是否使用额外的参数进行单独测试,然后插入到他们的嵌套位置之后再也无法再进行测试?

非常小的例子:

let range a b =
    let lower =  ceil a |> int
    let upper =  floor b |> int
    if lower > upper then
        Seq.empty
    else
        seq{ for i in lower..upper -> i}

如何在不更改代码的嵌套特性的情况下测试lowerupper是否正常工作?

1 个答案:

答案 0 :(得分:7)

我同意Daniels的评论 - 如果外部函数正常工作,则不需要测试任何内部函数。内部函数实际上是一个不应该相关的实现细节(特别是在功能代码中,输出不依赖于输入以外的任何东西)。在C#中,您也不会测试方法中的for循环或while循环是否正常工作。

如果内部函数和外部函数都太复杂,那么最好将内部函数作为一个单独的函数编写。

那就是说,当然,你可以使用反射混乱编译的程序集并调用内部函数。内部函数被编译为具有构造函数的类,该构造函数采用闭包(外部函数的捕获值)和采用实际参数的Invoke方法。

以下简单示例有效,但我还没有对更现实的事情进行测试:

open NUnit.Framework

// Function with 'inner' that captures the argument 'a' and takes additional 'x'    
let outer a b = 
  let inner x = x + a + 1
  (inner a) * (inner b)

// Unit tests that use reflection in a hacky way to test 'inner'
[<TestFixture>]
module Tests = 
  open System
  open System.Reflection

  // Runs the specified compiled function - assumes that 'name' of inner functions
  // is unique in the current assembly (!) and that you can correctly guess what 
  // are the variables captured by the closure (!)
  let run name closure args = 
    // Lots of unchecked assumptions all the way through...
    let typ =
      Assembly.GetExecutingAssembly().GetTypes()  
      |> Seq.find (fun typ -> 
          let at = typ.Name.IndexOf('@')
          (at > 0) && (typ.Name.Substring(0, at) = name) )
    let flags = BindingFlags.Instance ||| BindingFlags.NonPublic
    let ctor = typ.GetConstructors(flags) |> Seq.head
    let f = ctor.Invoke(closure)
    let invoke = f.GetType().GetMethod("Invoke")
    invoke.Invoke(f, args)

  /// Test that 'inner 10' returns '14' if inside outer where 'a = 3'
  [<Test>]
  let test () = 
    Assert.AreEqual(run "inner" [| box 3 |] [| box 10 |], 14)