F＃开发和单元测试？

我刚开始使用F＃，这是我的第一门功能语言。我一直在与C＃进行半排他性的合作，并且非常喜欢F＃如何使我重新思考如何编写代码。我发现一个令人迷惑的方面是编写代码过程中的变化。我已经在C＃中使用TDD多年了，非常感谢进行单元测试以了解我的位置。

到目前为止，我使用F＃的过程是编写一些函数，并在交互式控制台中使用它们，直到我“合理”地确定它们可以工作，然后进行调整和组合。这对于诸如Euler Project之类的小规模问题非常有效，但我无法想象以这种方式构建大型项目。

人们如何进行单元测试并为F＃程序构建测试套件？是否有与TDD相当的产品？任何指针或想法表示赞赏。

测试驱动的开发人员应该使用F＃之类的功能语言，感到宾至如归：提供确定性可重复结果的小型函数非常适合单元测试。F＃语言中还具有一些有助于编写测试的功能。以Object Expressions为例。您可以很容易地为使用接口类型作为输入的函数编写伪造品。

如果有的话，F＃是一流的面向对象语言，您可以使用在C＃中进行TDD时使用的相同工具和技巧。还有一些专门针对F＃编写的测试工具：

• 自然规格
• FsCheck
• 测试
• 单位

Matthew Podwysocki撰写了有关功能语言的单元测试的精彩系列文章。鲍伯叔叔也在这里写了一篇发人深省的文章。

我使用NUnit，它并不使我难以阅读或难以编写：

open NUnit.Framework

[<TestFixture>]
type myFixture() = class

    [<Test>]
    member self.myTest() =
       //test code

end

因为我的代码是F＃和其他.Net语言的混合，所以我喜欢这样的事实，即我以基本相同的方式编写单元测试，并且在F＃和C＃中使用相似的语法。

看看FsCheck，它是F＃的自动测试工具，基本上是Haskell的QuickCheck的移植端口。它允许您以函数或方法应满足的属性的形式提供程序规范，并通过FsCheck测试该属性在大量随机生成的情况下所具有的性能。

FsCheck CodePlex页面

FsCheck作者页面

正如dglaubman建议的那样，您可以使用NUnit。xUnit.net也对此提供了支持，并与TestDriven.net一起很好地工作。该代码看起来类似于NUnit测试，但是不需要将测试包装在包含类型中。

#light

// Supply a module name here not a combination of module and namespace, otherwise
// F# cannot resolve individual tests nfrom the UI.
module NBody.DomainModel.FSharp.Tests

open System
open Xunit

open Internal

[<Fact>]
let CreateOctantBoundaryReordersMinMax() =
    let Max = VectorFloat(1.0, 1.0, 1.0)
    let Min = VectorFloat(-1.0, -1.0, -1.0)

    let result = OctantBoundary.create Min Max

    Assert.Equal(Min, result.Min)     
    Assert.Equal(Max, result.Max) 

我认为这是一个非常有趣的问题，我本人对此很纳闷。到目前为止，我的想法只是想法，因此请以其为准。

我认为，自动化测试套件的安全网实在是太宝贵了，无法放手，尽管它可能会吸引交互式控制台，所以我打算像往常一样继续编写单元测试。

.NET的主要优势之一是跨语言功能。我知道我即将写F＃生产代码，但是我的计划是用C＃编写单元测试，以简化我对新语言的理解。这样，我还可以测试我用F＃编写的内容是否与C＃（和其他.NET语言）兼容。

通过这种方法，我了解到F＃的某些功能只能在F＃代码中内部使用，而不能作为公共API的一部分公开，但是我将接受，就像我今天接受的那样， C＃允许我表达（例如uint）不符合CLS的语言，因此我避免使用它们。

您可以看一下FSUnit-尽管我还没有使用它，但值得一试。当然比在F＃中使用例如（本机）NUnit更好。

尽管参加聚会有点晚，但我还是想欢迎Mathias加入F＃（迟到总比没有好；）。因为您可能喜欢我的单元测试库Expecto

Expecto具有一些您可能想要的功能：

• 全文采用F＃语法，将其作为值进行测试；编写普通的F＃生成测试
• 使用内置的Expect模块或外部库（例如Unquote）进行断言
• 默认情况下并行测试
• 测试您的Hopac代码或异步代码；Expecto在整个过程中都是异步的
• 通过Logary Facade可插拔的日志记录和指标；轻松编写用于构建系统的适配器，或使用计时机制来构建测试执行时间的InfluxDB + Grafana仪表板
• 内置对BenchmarkDotNet的支持
• 建立对FsCheck的支持；使用生成的/随机的数据或建立对象/行为者状态空间的不变模型来构建测试变得容易

-

open Expecto

let tests =
  test "A simple test" {
    let subject = "Hello World"
    Expect.equal subject "Hello World" "The strings should equal"
  }

[<EntryPoint>]
let main args =
  runTestsWithArgs defaultConfig args tests

https://github.com/haf/expecto/