- 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/
我获得了一些源代码示例,我想测试一些功能。不幸的是,我在执行程序时遇到问题: 11:41:31 [linqus@ottsrvafq1 example]$ javac -g test/test.jav
我想测试ggplot生成的两个图是否相同。一种选择是在绘图对象上使用all.equal,但我宁愿进行更艰巨的测试以确保它们相同,这似乎是identical()为我提供的东西。 但是,当我测试使用相同d
我确实使用 JUnit5 执行我的 Maven 测试,其中所有测试类都有 @ExtendWith({ProcessExtension.class}) 注释。如果是这种情况,此扩展必须根据特殊逻辑使测试
在开始使用 Node.js 开发有用的东西之前,您的流程是什么?您是否在 VowJS、Expresso 上创建测试?你使用 Selenium 测试吗?什么时候? 我有兴趣获得一个很好的工作流程来开发我
这个问题已经有答案了: What is a NullPointerException, and how do I fix it? (12 个回答) 已关闭 3 年前。 基于示例here ,我尝试为我的
我正在考虑测试一些 Vue.js 组件,作为 Laravel 应用程序的一部分。所以,我有一个在 Blade 模板中使用并生成 GET 的组件。在 mounted 期间请求生命周期钩子(Hook)。假
考虑以下程序: #include struct Test { int a; }; int main() { Test t=Test(); std::cout<
我目前的立场是:如果我使用 web 测试(在我的例子中可能是通过 VS.NET'08 测试工具和 WatiN)以及代码覆盖率和广泛的数据来彻底测试我的 ASP.NET 应用程序,我应该不需要编写单独的
我正在使用 C#、.NET 4.7 我有 3 个字符串,即。 [test.1, test.10, test.2] 我需要对它们进行排序以获得: test.1 test.2 test.10 我可能会得到
我有一个 ID 为“rv_list”的 RecyclerView。单击任何 RecyclerView 项目时,每个项目内都有一个可见的 id 为“star”的 View 。 我想用 expresso
我正在使用 Jest 和模拟器测试 Firebase 函数,尽管这些测试可能来自竞争条件。所谓 flakey,我的意思是有时它们会通过,有时不会,即使在同一台机器上也是如此。 测试和函数是用 Type
我在测试我与 typeahead.js ( https://github.com/angular-ui/bootstrap/blob/master/src/typeahead/typeahead.js
我正在尝试使用 Teamcity 自动运行测试,但似乎当代理编译项目时,它没有正确完成,因为当我运行运行测试之类的命令时,我收到以下错误: fatal error: 'Pushwoosh/PushNo
这是我第一次玩 cucumber ,还创建了一个测试和 API 的套件。我的问题是在测试 API 时是否需要运行它? 例如我脑子里有这个, 启动 express 服务器作为后台任务 然后当它启动时(我
我有我的主要应用程序项目,然后是我的测试的第二个项目。将所有类型的测试存储在该测试项目中是一种好的做法,还是应该将一些测试驻留在主应用程序项目中? 我应该在我的主项目中保留 POJO JUnit(测试
我正在努力弄清楚如何实现这个计数。模型是用户、测试、等级 用户 has_many 测试,测试 has_many 成绩。 每个等级都有一个计算分数(strong_pass、pass、fail、stron
我正在尝试测试一些涉及 OkHttp3 的下载代码,但不幸失败了。目标:测试 下载图像文件并验证其是否有效。平台:安卓。此代码可在生产环境中运行,但测试代码没有任何意义。 产品代码 class Fil
当我想为 iOS 运行 UI 测试时,我收到以下消息: SetUp : System.Exception : Unable to determine simulator version for X 堆
我正在使用 Firebase Remote Config 在 iOS 上设置 A/B 测试。 一切都已设置完毕,我正在 iOS 应用程序中读取服务器端默认值。 但是在多个模拟器上尝试,它们都读取了默认
[已编辑]:我已经用 promise 方式更改了我的代码。 我正在写 React with this starter 由 facebook 创建,我是测试方面的新手。 现在我有一个关于图像的组件,它有
我是一名优秀的程序员,十分优秀!