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

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

我希望得到：

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

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

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

我不熟悉 mbunit 本身，但例如使用 Clojure 生成测试框架测试生成 https://github.com/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用于测试的值 - 框架本身将生成任意输入组合，并检查您的断言在每种情况下是否成立。