4

背景故事

我正在将QuickCheck单元测试框架移植到 C（请参阅GitHub 上的工作代码）。语法将是：

for_all(property, gen1, gen2, gen3 ...);

property例如，要测试的函数在哪里bool is_odd(int)。gen1,gen2等是为 生成输入值的函数property。有些生成整数，有些生成字符，有些生成字符串，等等。

for_all将接受具有任意输入的函数（任意数量的参数，任何类型的参数）。for_all将运行生成器，创建测试值以传递给属性函数。例如，该属性is_odd是一个类型为 的函数bool f(int)。for_all将使用生成创建 100 个测试用例。如果属性为其中任何一个返回 false，for_all将打印有问题的测试用例值。否则，for_all将打印"SUCCESS".

因此for_all应该使用 ava_list来访问生成器。一旦我们调用了生成器函数，我们如何将它们传递给属性函数？

例子

如果is_odd有 type bool f(int)，我们将如何实现apply()具有以下语法的函数：

apply(is_odd, generated_values);

次要问题

见SO。

我们如何智能地打印失败测试用例的任意值？一个测试用例可能是一个整数，或者两个字符，或者一个字符串，或者以上的某种组合？我们不会提前知道是否使用：

  • printf("%d %d %d\n", some_int, some_int, some_int);
  • printf("%c\n" a_character);
  • printf("%s%s\n", a_string, a_struct_requiring_its_own_printf_function);
4

1 回答 1

3

C 语言是一种静态类型语言。它不具备其他语言所具备的运行时反射功能。它也不提供从运行时提供的类型构建任意函数调用的方法。您需要有一些方法来了解函数签名is_odd是什么，它接受多少个参数以及这些参数的类型是什么。它甚至不知道它何时到达 ... 参数列表的末尾；你需要一个明确的终结者。

enum function_signature {
    returns_bool_accepts_int,
    returns_bool_accepts_float,
    returns_bool_accepts_int_int,
};

typedef bool (*function_returning_bool_accepting_int)(int);
typedef int (*function_generates_int)();

void for_all(function_signature signature, ...)
{
    va_list ap;
    va_start(ap, signature);
    switch (function_signature)
    {
    case returns_bool_accepts_int:
        {
            function_returning_bool_accepting_int fn = va_arg(ap, function_returning_bool_accepting_int);
            function_generates_int generator;
            do {
                generator = va_arg(ap, function_generates_int);
                if (generator) fn(generator());
            } while (generator);
        }
        break;
    ... etc ...
    }
}

您的问题是 QuickCheck 旨在利用 JavaScript 的高动态可编程性，这是 C 语言所缺少的。

更新如果您允许任意函数签名，那么您需要一种使其再次成为静态的方法，例如，通过让调用者提供适当的适配器。

typedef void (*function_pointer)();
typedef bool (*function_applicator)(function_pointer, function_pointer);

void for_all(function_applicator apply, ...)
{
    va_list ap;
    va_start(ap, apply);
    function_pointer target = va_arg(ap, function_pointer);
    function_pointer generator;
    do {
        generator = va_arg(ap, function_pointer);
        if (generator) apply(target, generator);
    } while (generator);
}

// sample caller
typedef bool (*function_returning_bool_accepting_int)(int);
typedef int (*function_returning_int)();
bool apply_one_int(function_pointer target_, function_pointer generator_)
{
    function_returning_bool_accepting_int target = (function_returning_bool_accepting_int)target_;
    function_returning_int generator = (function_returning_int)generator_;
    return target(generator());
}

for_all(apply_one_int, is_odd, generated_values1, generated_values2, (function_pointer)0);



}
于 2011-09-23T01:04:46.747 回答