在 MacOS 11.6.1 上使用检查库进行单元测试：ld：找不到 -lcheck_pic 的库

Question

因此，我正在尝试通过 MacOS 11.6.1 上的一个简单示例来学习如何使用库检查。 为此，我复制了以下问题的 Merlijn Sebrechts 代码： Using C unit testing framework Check without Autotools?

#include <check.h>

START_TEST (sanity_check)
{
    fail_unless(5 == 5, "this should succeed");
    fail_unless(6 == 5, "this should fail");
    ck_assert_str_eq("asa", "asasdfasdf");

}
END_TEST

int main(void)
{
    Suite *s1 = suite_create("Core");
    TCase *tc1_1 = tcase_create("Core");
    SRunner *sr = srunner_create(s1);
    int nf;

    suite_add_tcase(s1, tc1_1);
    tcase_add_test(tc1_1, sanity_check);

    srunner_run_all(sr, CK_ENV);
    nf = srunner_ntests_failed(sr);
    srunner_free(sr);

    return nf == 0 ? 0 : 1;
}

当我在终端中执行命令时，出现以下错误消息：

$ gcc test.c -Wall -o test -lcheck -pthread -lcheck_pic -pthread -lrt -lm -lsubunit
ld: library not found for -lcheck_pic
clang: error: linker command failed with exit code 1 (use -v to see invocation)

我通过使用gcc test2.c编译文件 ( test2.c ) 之后的文件来检查是否安装了库检查，并且没有收到任何错误消息。 由此我假设该库确实已安装

#include <check.h>

int main(){
  int a;
  return 0;
}

我究竟做错了什么？

编辑 1

好的，按照评论，我删除了对大多数库的调用并运行以下命令：

gcc test.c -Wall -o test -lcheck
$ ./test
Running suite(s): Core
0%: Checks: 1, Failures: 1, Errors: 0
test.c:6:F:Core:sanity_check:0: this should fail

这是对的吗？ 而且我不得不坦白地说：我不明白代码在做什么？

编辑 2

在 Jason 的新评论之后，我不得不连续删除几个库，以免构建时出错（即lcheck_pic 、 lsubunit 、 lrt ：

$ gcc test.c -Wall -o test -lcheck -pthread -lcheck_pic -pthread -lrt -lm -lsubunit
ld: library not found for -lcheck_pic
$ gcc test.c -Wall -o test -lcheck -pthread -pthread -lm -lsubunit
ld: library not found for -lsubunit
clang: error: linker command failed with exit code 1 (use -v to see invocation)
$ gcc test.c -Wall -o test -lcheck -pthread -pthread -lrt -lm -lsubunit
ld: library not found for -lrt
clang: error: linker command failed with exit code 1 (use -v to see invocation)
 -v to see invocation)
$ gcc test.c -Wall -o test -lcheck -pthread -pthread -lm
... build successful ...

编辑 3

为了单独分析每个故障，我将检查分成不同的实例，如下所示：

#include <check.h>


START_TEST (sanity_check1)
{
    fail_unless(5 == 5, "this should succeed");
}
END_TEST

START_TEST (sanity_check2)
{
    fail_unless(6 == 5, "this should fail");
}
END_TEST

START_TEST (sanity_check3)
{
    ck_assert_str_eq("asa", "asasdfasdf");
}
END_TEST


int main(void)
{
    Suite *s1 = suite_create("Core");
    TCase *tc1_1 = tcase_create("Core");
    SRunner *sr = srunner_create(s1);
    int nf;

    suite_add_tcase(s1, tc1_1);
    tcase_add_test(tc1_1, sanity_check1);
    tcase_add_test(tc1_1, sanity_check2);
    tcase_add_test(tc1_1, sanity_check3);

    srunner_run_all(sr, CK_ENV);
    nf = srunner_ntests_failed(sr);
    srunner_free(sr);

    return nf == 0 ? 0 : 1;
}

并得到以下 output（独立显示每个失败的测试）：

$ gcc script.c -Wall -o script -lcheck -pthread -pthread -lm
$ ./script
Running suite(s): Core
33%: Checks: 3, Failures: 2, Errors: 0
script.c:12:F:Core:sanity_check2:0: this should fail
script.c:18:F:Core:sanity_check3:0: Assertion '"asa" == "asasdfasdf"' failed: "asa" == "asa", "asasdfasdf" == "asasdfasdf"

Answer 1

构建解决方案是删除-lcheck_pic 。

只是在评论部分扩展......

期望 1 次成功和 1 次失败......这是正确的吗？

对，那是正确的。 这只是如何设置测试的示例。 实际上，您永远不会真正检查5 == 6 。 您将运行部分程序并检查您正在测试的任何内容的 state。 此外，您不应该在实际程序代码中需要#include <check.h> 。

所以想想一些简单的东西，比如is_even function。你可以这样做：

fail_unless(is_even(6), "failure");

如果您的is_even function 正确，这应该不会失败。 这可能看起来很愚蠢，但如果稍后你更改is_even function（或者可能是 function 的依赖项，此测试可能会失败。这会让你知道你需要查看最后一组更改。你实际上是在设置自动测试，因此如果您在程序中破坏了某些内容，您会立即知道。

还应注意fail_unless已被弃用。 您应该使用此处提供的功能。

有关更多示例，这里是我使用libcheck的项目的测试目录的链接。

展开评论讨论

我链接到 tests 目录，希望您能查看其中的 C 文件……一个说明如何以及为何使用check的示例。 例如，库中一个更简单的函数叫做sgetline ，它的意思是“安全的 getline”。 它将从可以具有 Linux ( \n )或Windows ( \r\n ) 行终止符的文件中检索一行，并为您分配一个行缓冲区。 请允许我带您完成针对 function 的测试之一（来自 check_sgetline.c）：

START_TEST(test_safegetline_long)
{
        _file = fopen("test_long.txt", "r");
        if (!_file) {
                perror("test_long.txt");
                exit(EXIT_FAILURE);
        }
        int ret = sgetline(_file, &buf, &buflen, &linelen);
        ck_assert_ptr_nonnull(buf);
        ck_assert_str_eq(buf, "012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789");
        ck_assert_uint_eq(linelen, strlen("012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789"));
        ck_assert_int_eq(ret, 0);
        ck_assert_uint_gt(buflen, BUFFER_FACTOR);

        ret = sgetline(_file, &buf, &buflen, &linelen);
        ck_assert_int_eq(ret, EOF);
}
END_TEST

首先，我打开文件（test_long.txt 在那个测试目录中）。 然后，该FILE*连同缓冲区、缓冲区长度和行长度（全局）一起发送到sgetline 。 sgetline可以（在本例中将）修改这些变量。 测试（和check ）的全部意义在于证明我的程序完全符合我的“预期”。 为了向自己证明sgetline按预期工作，我使用了check提供的ck_*函数。 所以，这是支票用英语做的：

我不希望缓冲区为 NULL，因为sgetline应该为我分配它：

ck_assert_ptr_nonnull(buf);

我希望将这个愚蠢的长字符串放入buf中：

ck_assert_str_eq(buf, "012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789");

我linelen等于放置在buf中的字符串的长度：

ck_assert_uint_eq(linelen, strlen("012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890123456789"));

我sgetline的返回值为 0（在这种情况下意味着成功）：

ck_assert_int_eq(ret, 0);

我预计buflen会增加到超过库BUFFER_FACTOR中的常量，因为该行很长（注意_gt表示大于）：

ck_assert_uint_gt(buflen, BUFFER_FACTOR);

再次运行sgetline应该从文件中读取下一行。 我知道该文件只有一行开头，所以我sgetline返回EOF 。

ret = sgetline(_file, &buf, &buflen, &linelen);
ck_assert_int_eq(ret, EOF);

如果这些检查中的任何一个失败，我就知道我在sgetline中有一个错误。