球拍中的单元测试宏

时间:2018-07-05 16:42:43

标签: unit-testing racket

我目前正在通过“美丽的球拍”工作,尝试编写单元测试。

单元测试宏的最佳方法是什么?例如,如果我有一个宏infix

(define-macro (infix [A B C]) #'(B A C))

测试模式匹配和转换的最明智的方法是什么?我想做类似的事情:

(check equal? (infix '(3 - 2)) '(- 3 2))

1 个答案:

答案 0 :(得分:5)

通过测试宏的扩展来进行单元测试几乎永远不是您想要的。这有点像使用模拟测试所有内容,最终导致很多测试与实现紧密结合,而某些东西甚至不一定保证其行为

因此,在测试宏时,您几乎总是只想通过验证宏是否确实在做正确的事情(而不是扩展到的内容)来进行测试。对于您的宏,我只需要编写一些测试用例,如下所示:

(check-equal? (infix (3 - 2)) 1)
(check-equal? (infix (4 / 2)) 2)

对于执行更复杂功能的宏,我仍然建议不要对扩展进行断言。如果需要,请在此处使用现有的单元测试工具包。即使在测试宏时,也应用相同的原理:使用依赖注入来替换难以测试的事物,并且如果需要,为单元测试提供一个稍低一点的接口,该接口与其协作者没有那么紧密的联系。 / p>

在确实需要进行更细粒度的单元测试的情况下,phase1-eval中的syntax/macro-testing可能会有所帮助,因为它允许您评估在编译时定义的函数。您的测试套件。就是说,我敦促您尽可能少地这样做。在使用Racket的过程中,我编写了一些非常密集的宏,并且设法在不进行扩展的情况下对其进行了行为测试。