- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
在面向对象编程中,我有对象和状态。所以我可以模拟一个对象的所有依赖项并测试该对象。但是函数式编程(尤其是纯函数式编程)是关于组合函数
很容易测试不依赖于其他函数的函数。我们只是传递参数并检查结果。但是接受另一个函数并返回函数的函数呢?
假设我有代码g = h1 ∘ h2 ∘ h3 ∘ h4
。我应该只测试函数 g
吗?但那是集成/功能测试。仅通过集成测试不可能测试所有分支。单元测试呢?当一个函数需要更多参数时,它会变得更加复杂。
我应该创建自定义函数并将它们用作模拟吗?会不会太昂贵且容易出错?
那么 monad 呢?例如,如何在 haskell 中测试控制台输出或磁盘操作?
最佳答案
我也一直在考虑在功能代码中进行测试。我没有所有的答案,但我会在这里写一点。
功能性程序的组合方式不同,因此需要不同的测试方法。
如果您粗略地了解一下 Haskell 测试,您将不可避免地遇到 QuickCheck 和 SmallCheck,这是两个非常著名的 Haskell 测试库。它们都进行“基于属性的测试”。
在 OO 语言中,您将费力地编写单独的测试来设置六个模拟对象,调用一两个方法,并验证是否使用正确的数据调用了预期的外部方法和/或该方法最终返回了正确的数据回答。这是相当多的工作。您可能只对一两个测试用例执行此操作。
QuickCheck 是另一回事。您可能会编写一个属性,表示类似“如果我对这个列表进行排序,输出应具有与输入相同数量的元素”。这是单线。然后,QuickCheck 库将自动构建数百个随机生成的列表,并检查指定的条件是否适用于其中的每一个。如果没有,它会吐出测试失败的确切输入。
(QuickCheck 和 SmallCheck 做的事情大致相同。QuickCheck 生成随机测试,而 SmallCheck 系统地尝试所有组合,直到指定的大小限制。)
您说您担心要测试的可能流控制路径的组合爆炸式增长,但是使用像这样的工具为您动态生成测试用例,手动编写足够的测试不是问题。 唯一的问题是提供足够的数据来测试所有流路。
Haskell 也可以提供帮助。我读了一篇关于库的论文 [我不知道它是否曾经发布过],它实际上使用 Haskell 的惰性求值来检测被测代码对输入数据做了什么。比如,它可以检测您正在测试的函数是查看列表的内容,还是只查看该列表的大小。它可以检测该客户记录的哪些字段被触摸。等等。通过这种方式,它会自动生成数据,但不会浪费数小时来生成甚至与此特定代码无关的数据部分的不同随机变化。 (例如,如果您按 ID 对客户进行排序,则名称字段中的内容无关紧要。)
至于测试接受或产生函数的函数……是的,我没有答案。
关于unit-testing - 函数式编程中的测试,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/28594186/
我有以下功能: fun process(t: T, call: (U) -> Unit, map: (T) -> U) = call(map(t)) fun processEmpty(t: T,
关闭。这个问题需要更多focused .它目前不接受答案。 想改善这个问题吗?更新问题,使其仅关注一个问题 editing this post . 4年前关闭。 Improve this questi
我正在实现 SVG Tiny 1.1,但我无法理解“用户单元”的概念。 SVG 1.1 规范将每个没有指定单位(例如“mm”、“cm”、“pt”等)的 定义为“用户单位”。 在实现接口(interfa
我正在学习本教程 - http://blog.dasberg.nl/getting-your-frontend-code-quality-in-order/ - 将前端质量指标推送到 SonarQub
我用了 rails new app --skip-test-unit 因为最初,我认为我可以稍后添加测试。 我开发了我的应用程序的很大一部分。 现在,我想添加 Test::Unit 但我找不到任何有关
您如何对由某些报表引擎(例如Crystal Reports或SQL Server Reporting Services)创建的报表进行“单元测试”? 最佳答案 报告的问题类似于GUI的问题。 如果报表
今天在 Proggit 上,我正在阅读题为“Why Unit Testing Is A Waste of Time”的提交的评论线程。 我并不真正关心文章的前提,而是关心 comment对此作出: T
“单元测试”属于白盒测试还是黑盒测试?还是与其他两种测试完全不同? 最佳答案 我觉得这个article by Kent Beck更多地引用 TDD 和单元测试很好地总结了这一点。基本上,这取决于您实际
这是代码: def filterAcc(p: Tweet => Boolean, acc: TweetSet): TweetSet = { foreach(tweet => if(p(el
我打算编写一个抽象类来测试我所有的 DTO 和 DOMAIN 对象。此类将采用可模板对象(通用类型)并使用反射来获取其中的属性类型,并将一些默认值分配给标识的原始类型,稍后将通过访问它们来断言这些类型
我有一个像这样的简单容器特征: trait Handler { def apply[In, Out](in: In): Out } 当我尝试实现它时: new Handler { def ap
为什么这样编译 scala> import scala.concurrent.Future import scala.concurrent.Future scala> val f: Unit = Fu
您使用什么样的实践来使您的代码对单元测试更加友好? 最佳答案 TDD——首先编写测试,强制你要考虑可测试性和帮助编写实际的代码需要的,而不是你认为可能的需要 接口(interface)重构——使得 m
我在elasticsearch中有文本字段,我想在kibana上可视化词云... 第一步,我们需要标记它们,我使用了“标准标记器” ... 使用这种形式的词云可视化结果如下图所示: 但是我需要的是专有
我有以下方法: override def insertAll(notifications: Seq[PushNotificationEncoded]) (i
我的应用程序服务层中有很多方法正在做这样的事情: public void Execute(PlaceOrderOnHoldCommand command) { var order = _rep
一直在使用 Sails.js,但在为 Controller 设计 Jasmine 单元测试时遇到了麻烦。如果这很明显,请原谅我的无知,因为在过去的 3-4 个月里我才深入研究 JavaScript 开
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
在ReKotlin repo README中,有如下代码: data class CounterActionIncrease(val unit: Unit = Unit): Action 代码Unit
我想对一个业务类进行测试,但我遇到了这个问题:其中一个模拟对象与其他类(例如 Sites、URL 和 ComplexObject)有许多依赖关系。 我的问题是:如果我必须在需要测试的方法中使用我的模拟
我是一名优秀的程序员,十分优秀!