天天看点

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

2.2 unity:一个全部用c实现的自动化测试框架

unity是一个简单且直接的自动化单元测试框架。它由很少的几个文件构成。让我们通过几个示例单元测试用例来认识一下unity和单元测试。如果你是一个长期的unity用户,你会发现如果不用unity所提供的脚本来生成测试运行容器,那么额外的几个宏可能会很有帮助。

用unity写的sprintf()测试用例

测试要写得短并且有重点。可以把它想象成一个安检过程,通过时保持安静,失败时就要发出警报声。下面这个测试让sprintf()处理一个没有格式操作的格式声明。

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

宏test()用来定义一个测试函数,当运行所有测试的时候就会调用它。第一个参数是一个测试的组名。第二个参数是这个测试的名字。我们将在第3章中更仔细地介绍test()这个宏。

宏test_assert_equal()用来比较两个整数。sprintf()应该返回给测试说它格式化的结果字符串长度为3,并且如果是这样的,test_assert_equal()就成功了。像大多数的自动化测试框架一样,test_assert_equal()的第一个参数是期望中的值。

test_assert_equal_string()用来比较两个以null结尾的字符串。这句话是声明output的内容必须是字符串“hey”。按照习惯,第一个参数是期望值。

如果任意一个检查的条件不满足,测试就会失败。这些检查会按顺序进行,test()会在碰到第一个失败时终止。

注意,test_assert_equal_string()可能在意外的情况下通过。如果output的内容刚好本来就是“hey”,那么如果sprintf()什么也不干,这个测试也会通过。当然,这不大可能发生,但我们最好还是改进一下这个测试,把output初始化成一个空字符串。

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架
《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

如果我们担心sprintf()会破坏output之前的内存,我们也可以把output的大小再加一个字符,然后把&output[1]传给sprintf()。最后检查一下output[0]是否还是0xaa,这在很大程度上能证明sprintf()的行为是正确的。

在c语言中,要让测试面面俱到很难。错误的或是恶意的代码可以在output之后或之前距离很远的地方搞破坏。把测试做到什么程度是需要我们自己来判断的。后面你将会看到在tdd中如何决定要写哪些测试。

在以上的测试中,你可以看到其中正在滋生一些细微的重复。output的声明是重复的,初始化是重复的,以及对写过界的检查也是重复的。如果只有两个测试,可能问题不大,但如果你刚好是维护sprintf()的人,你需要比这多得多的测试。随着测试的增加,这些重复会越来越多并且让测试用例中的代码难以理解。接下来让我们看一看测试夹具是如何帮我们避免test()测试用例中的重复的。

unity中的测试夹具

使用测试夹具的目的是避免重复。测试夹具把所有测试都需要的那些部分组织在一处。请留意以下对sprintf()测试的代码中是如何使用test_setup()和test_tear_down()来避免重复的。

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架
《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

在test_group()之后定义的共享数据会在test_setup() 中进行初始化,test_setup() 将在每个test()的起始大括号之前执行。这些数据在源文件内可见,而且可以被源文件内的test() 和辅助函数使用。在我们的这个test_group()组中不需要在test_tear_down()中做任何清理工作。

作用域为源文件的辅助函数expect()和 given()会帮助sprinitf()的测试保持整洁和不重复。

说到底,这就是普通的c代码,所以你可以任意使用共享数据和辅助函数。我给出的是一种典型的结构,用于有共享数据和检查条件的一组测试。

现在这些测试更专注、简约、直接、能说明问题。

你会发现,一旦你理解了一个特定的test_group()并且看过了几个例子以后,要想写出下一个测试用例会简单很多。当一个test_group() 中有一个共同的模式时,每个测试都变得很容易阅读、理解和拓展。

安装unity测试

从前面的例子中很难看出测试用例是如何运行并使用必要的前置和后置过程的,而这是通过另一个叫test_group_runner()的宏来完成的。test_group_runner()可以和测试放在一起,也可以放在不同的文件里。为了避免总是要在同一文件里上下滚动,本书使用了不同的文件。对于sprintf()的两个测试,test_group_runner()看起来如下所示:

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

每个测试用例都通过run_test_case()宏来调用。基本上就相当于run_group_runner()会依次调用以下这些函数体:

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架
《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

run_test_group(测试组名)会调用由test_group_runner()定义的函数。所以每个你希望main()来运行的test_group_runner()都要加上一个run_test_group。请注意,一定要把runalltests()传给unitymain()函数。

使用纯c实现的测试框架比较遗憾的一点是,你要记得把每个test()加到test_group_runner()中,并且整个容器将被unitymain()函数调用。如果你忘了,测试会被编译但不会执行,可能出错了你也不会知道。

因为存在这种可能出错的情况,所以unity设计者创建了一个代码生成系统,可以读取你的测试文件并生成测试容器代码。为了让刚开始使用时减少对unity的依赖,我将不会使用代码生成脚本,而是手工把测试代码串联起来。

在下一节我们介绍cpputest时,你会看到这个问题的另一种解决办法。在这之前先让我们来看看unity的输出。

unity的输出

测试的运行应该作为测试自动构建的一部分。应该用一个简单的命令就可以构建并运行构建出来的测试可执行程序。你会发现我经常构建,每次小的改动后都会重新构建。这就是tdd。我把我的开发环境设置成每次我保存一个文件时就会自动构建所有的东西。测试的输出就像这样:

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

请注意,在所有测试都通过时,输出最少。随便瞟一眼,如果看到一行写着“ok”的文字,这意味着“所有测试通过”。这符合unix风格,测试框架遵循“没有消息就是最好的消息”原则(稍后你会看到,当有测试失败时它会给出特定的错误信息)。它看上去很直白,但还是让我们来看看每行输出都是什么含义。

请注意,每个测试用例运行时都会打印出一个点(.)。如果测试运行起来时间很长,这会让我们感知到有东西在运行。分隔符(---)那一行只是用来分隔测试的总结。

tests—总共的test()个数。

failures—失败的test()的个数。

ignored—处在忽略状态的测试的个数。忽略的测试会被编译但不会执行。

让我们加一个出错的测试来看看会发生什么。看看测试的输出,我们故意加的错误应该很明显:

《测试驱动的嵌入式C语言开发》——2.2节Unity:一个全部用C实现的自动化测试框架

失败信息会报告失败的测试用例所在的文件名和行号、测试用例的名字,以及为什么会失败。并且请留意最后的总结中显示一个测试失败了。

你可以在附录b中找到更多关于unity的信息。

继续阅读