mbunit - 什么是生成单元测试框架？

Question

在 stackoverflow 上，我遇到了 mbunit。在它的页面上，它指出 mbunit 是一个生成单元测试框架，但我找不到任何描述生成单元测试框架是什么的地方。

我希望得到:

定义

有关生成单元测试框架是什么和不是什么的文章的链接。

Answer 1

生成式测试框架是代码本身的框架 生成测试用例 .

通常，您编写代码以根据要测试的一个或多个假设生成测试用例。

我不熟悉 mbunit 本身，但例如使用 Clojure 生成测试框架 test.generative您可以编写如下测试:

(defspec integers-closed-over-addition
  (fn [a b] (+' a b))                    ;; input fn
  [^long a ^long b]                      ;; input spec
  (assert (integer? %)))                 ;; 0 or more validator forms

此测试直接指定您要测试的假设(即两个 long 相加总是产生一个整数)。

重要的一点是您不必指定特定的 long用于测试的值 - 框架本身将生成输入的任意组合并检查您的断言是否在每种情况下都成立。