概述
Unity Test是一个为C构建的单元测试框架。本文基于STM32F407为基础,完全使用STM32CubeIDE进行开发,移植和简单使用Unity。
单片机型号:STM32F407VET6
软件:STM32CubeIDE Version: 1.14.1 Unity Version:2.6.0
一、配置stm32工程
新建工程,选择407芯片,生成工程后开始配置硬件,这里我们只使用了串口1,作为打印输出串口,按照图片设置,波特率等根据需要设置,这里我使用的默认值。
我习惯单独生成c和h文件。
保存生成代码。
在main.c文件中添加串口重定向函数
/* Private user code ---------------------------------------------------------*/
/* USER CODE BEGIN 0 */
int __io_putchar(int ch)
{
/* Implementation of __io_putchar */
/* e.g. write a character to the UART1 and Loop until the end of transmission */
HAL_UART_Transmit(&huart1, (uint8_t *)&ch, 1, 0xFFFFFFFF);
return ch;
}
int __io_getchar(void)
{
/* Implementation of __io_getchar */
char rxChar;
// This loops in case of HAL timeout, but if an ok or error occurs, we continue
while (HAL_UART_Receive(&huart1, (uint8_t *)&rxChar, 1, 0xFFFFFFFF) == HAL_TIMEOUT);
return rxChar;
}
/* USER CODE END 0 */
此时理论上可以编译通过,并且printf好用。
二、下载unity源码
GitHub - ThrowTheSwitch/Unity: Simple Unit Testing for C
源码地址如上。
在工程根路径下创建Unity文件夹,并将unity源码中的src文件夹中的文件放到这个目录中。并将example文件夹中的unity_config.h也放到目录中。
在工程中右键并刷新
这时就会看到我们添加的文件夹了。
在工程上右键Properties,如下图步骤添加unity到includes目录中。
如上图,添加源文件到工程中参与编译。
此时就可以编译了,可以正常编译通过。
这里说一下配置文件,unity_config.h,如果使用的是stm32的cube,那么这个文件什么都不用写,如果使用的是其他mcu或者编译器,需要详细阅读并进行相关的宏定义。
三、测试程序
下面我先简单翻译一下github上的readme。
基本有效性测试
TEST_ASSERT_TRUE(condition)
如果条件结果为 false,则失败
TEST_ASSERT_FALSE(condition)
如果条件结果为 true,则失败
TEST_ASSERT(condition)
另一种方式TEST_ASSERT_TRUE
TEST_ASSERT_UNLESS(condition)
另一种方式TEST_ASSERT_FALSE
TEST_FAIL()
TEST_FAIL_MESSAGE(message)
此测试会自动标记为失败。 输出消息,说明原因。
数值断言:整数
TEST_ASSERT_EQUAL_INT(expected, actual)
TEST_ASSERT_EQUAL_INT8(expected, actual)
TEST_ASSERT_EQUAL_INT16(expected, actual)
TEST_ASSERT_EQUAL_INT32(expected, actual)
TEST_ASSERT_EQUAL_INT64(expected, actual)
比较两个整数是否相等,并将错误显示为有符号整数。 将根据您的自然整数大小执行强制转换, 当您需要指定确切的大小时,您可以使用特定版本。
TEST_ASSERT_EQUAL_UINT(expected, actual)
TEST_ASSERT_EQUAL_UINT8(expected, actual)
TEST_ASSERT_EQUAL_UINT16(expected, actual)
TEST_ASSERT_EQUAL_UINT32(expected, actual)
TEST_ASSERT_EQUAL_UINT64(expected, actual)
比较两个整数是否相等,并将错误显示为无符号整数。 与 INT 一样,也有不同大小的变体。
TEST_ASSERT_EQUAL_HEX(expected, actual)
TEST_ASSERT_EQUAL_HEX8(expected, actual)
TEST_ASSERT_EQUAL_HEX16(expected, actual)
TEST_ASSERT_EQUAL_HEX32(expected, actual)
TEST_ASSERT_EQUAL_HEX64(expected, actual)
比较两个整数是否相等,并将错误显示为十六进制。与其他整数比较一样,您可以指定大小。。。这里的大小也将影响所示出的半字节的数量(例如,将示出4个半字节)。
TEST_ASSERT_EQUAL(expected, actual)
另一种TEST_ASSERT_EQUAL_INT的方式
TEST_ASSERT_INT_WITHIN(delta, expected, actual)
断言实际值在预期值的正负增量范围内。 这也具有特定尺寸的变体。
TEST_ASSERT_GREATER_THAN(threshold, actual)
断言实际值大于阈值。 这也具有特定尺寸的变体。
TEST_ASSERT_LESS_THAN(threshold, actual)
断言实际值小于阈值。 这也具有特定尺寸的变体。
数 组
_ARRAY
您可以附加到这些宏中的任何一个,以进行该类型的数组比较。在这里,您需要更加关心被检查值的实际大小。您还将指定一个额外的参数,即要比较的元素数。例如:_ARRAY
TEST_ASSERT_EQUAL_HEX8_ARRAY(expected, actual, elements)
_EACH_EQUAL
另一个数组比较选项是检查数组的每个元素是否等于单个期望值。 为此,请指定 EACH_EQUAL 宏。 例如:
TEST_ASSERT_EACH_EQUAL_INT32(expected, actual, elements)
数值断言:按位
TEST_ASSERT_BITS(mask, expected, actual)
使用整数掩码指定应在另外两个整数之间比较哪些位。 比较掩码中的高位,忽略低位。
TEST_ASSERT_BITS_HIGH(mask, actual)
使用整数掩码指定应检查哪些位以确定它们是否全部设置为高电平。 比较掩码中的高位,忽略低位。
TEST_ASSERT_BITS_LOW(mask, actual)
使用整数掩码指定应检查哪些位以确定它们是否全部设置为低电平。 比较掩码中的高位,忽略低位。
TEST_ASSERT_BIT_HIGH(bit, actual)
测试单个位并验证它是否为高电平。 对于 32 位整数,该位指定为 0-31。
TEST_ASSERT_BIT_LOW(bit, actual)
测试单个位并验证它是否为低电平。 对于 32 位整数,该位指定为 0-31。
数值断言:浮点数
TEST_ASSERT_FLOAT_WITHIN(delta, expected, actual)
TEST_ASSERT_DOUBLE_WITHIN(delta, expected, actual)
断言实际值在预期值的正负增量范围内。
TEST_ASSERT_FLOAT_NOT_WITHIN(delta, expected, actual)
TEST_ASSERT_DOUBLE_NOT_WITHIN(delta, expected, actual)
断言实际值不在预期值的正负增量范围内。
TEST_ASSERT_EQUAL_FLOAT(expected, actual)
TEST_ASSERT_EQUAL_DOUBLE(expected, actual)
断言两个浮点值在预期值的一小部分 % 增量内“相等”。
TEST_ASSERT_NOT_EQUAL_FLOAT(expected, actual)
TEST_ASSERT_NOT_EQUAL_DOUBLE(expected, actual)
断言两个浮点值在期望值的一小部分 % 增量内不“相等”。
TEST_ASSERT_LESS_THAN_FLOAT(threshold, actual)
TEST_ASSERT_LESS_THAN_DOUBLE(threshold, actual)
TEST_ASSERT_GREATER_THAN_FLOAT(threshold, actual)
TEST_ASSERT_GREATER_THAN_DOUBLE(threshold, actual)
断言实际值小于或大于阈值。
也有和变化。 它们遵循与以下相同的平等规则: 如果这两个值在预期值的一小部分 % 增量范围内,则断言将通过。LESS_OR_EQUALGREATER_OR_EQUALTEST_ASSERT_EQUAL_FLOATTEST_ASSERT_EQUAL_DOUBLE
字符串断言
TEST_ASSERT_EQUAL_STRING(expected, actual)
比较两个以 null 结尾的字符串。 如果任何字符不同或长度不同,则失败。
TEST_ASSERT_EQUAL_STRING_LEN(expected, actual, len)
比较两个字符串。 如果任何字符不同,则失败,在 len 字符之后停止比较。
TEST_ASSERT_EQUAL_STRING_MESSAGE(expected, actual, message)
比较两个以 null 结尾的字符串。 如果任何字符不同或长度不同,则失败。 失败时输出自定义消息。
TEST_ASSERT_EQUAL_STRING_LEN_MESSAGE(expected, actual, len, message)
比较两个字符串。 如果任何字符不同,则失败,在 len 字符之后停止比较。 失败时输出自定义消息。
指针断言
大多数指针操作只需使用上面的整数比较即可执行。 但是,为了清楚起见,添加了几个特殊情况。
TEST_ASSERT_NULL(pointer)
如果指针不等于 NULL 则失败
TEST_ASSERT_NOT_NULL(pointer)
如果指针等于 NULL 则失败
内存断言
TEST_ASSERT_EQUAL_MEMORY(expected, actual, len)
比较两个内存块。 对于不能被强制执行为标准类型的类型来说,这是一个很好的通用断言...... 但是,由于它是内存比较,因此您必须小心数据类型被封装。
我们在工程Unity文件夹中创建test_unity.c文件,用于填写unity测试程序,我们先定义测试函数
/*
* test_unity.c
*
* Created on: Feb 14, 2024
* Author: Administrator
*/
#include "unity.h"
void test_unity(void)
{
}
并且将void test_unity(void)函数添加到main.h中
/* USER CODE BEGIN EFP */
void test_unity(void);
/* USER CODE END EFP */
然后在main.c中调用 test_unity函数。
/* USER CODE BEGIN 2 */
test_unity();
/* USER CODE END 2 */
这时候编译是可以通过的。
我们接下来开始编写测试函数。
/*
* test_unity.c
*
* Created on: Feb 14, 2024
* Author: Administrator
*/
#include "unity.h"
#include <stdio.h>
#include <stdbool.h>
bool IsTrue(bool in)
{
return in;
}
void testFunc(void)
{
TEST_ASSERT_TRUE(IsTrue(true));
TEST_ASSERT_TRUE(IsTrue(false));
}
void test_unity(void)
{
printf("\r\n*****hello unity*******\r\n");
RUN_TEST(testFunc);
UNITY_END();
}
这个时候再编译就会报错
因为我们有两个函数未实现,
/*
* test_unity.c
*
* Created on: Feb 14, 2024
* Author: Administrator
*/
#include "unity.h"
#include <stdio.h>
#include <stdbool.h>
void setUp(void)
{
}
void tearDown(void)
{
}
bool IsTrue(bool in)
{
return in;
}
void testFunc(void)
{
TEST_ASSERT_TRUE(IsTrue(true));
TEST_ASSERT_TRUE(IsTrue(false));
}
void test_unity(void)
{
printf("\r\n*****hello unity*******\r\n");
RUN_TEST(testFunc);
UNITY_END();
}
这时候我们就可以编译过了。
用例的初始化:setUp()
用例的释放:tearDown()
这俩分别是在每个case之前和之后都会运行一次。
setUp() 方法用于用例的初始化,比如在执行测试用例之前进行的变量定义、初始化等。
tearDown() 方法则用于用例的释放,比如测试后的清理工作,比如数据还原、资源释放等。
运行输出如下:
符合预期,我们再写几个,完善一下测试程序。
/*
* test_unity.c
*
* Created on: Feb 14, 2024
* Author: Administrator
*/
#include "unity.h"
#include <stdio.h>
#include <stdbool.h>
void setUp(void)
{
}
void tearDown(void)
{
}
bool IsTrue(bool in)
{
return in;
}
void testBoolPassFunc(void)
{
TEST_ASSERT_TRUE(IsTrue(true));
}
void testBoolFailFunc(void)
{
TEST_ASSERT_TRUE(IsTrue(false));
}
void testIntFunc(void)
{
TEST_ASSERT_EQUAL_INT(1,1);
uint8_t v = 10;
TEST_ASSERT_EQUAL_INT(10, v);
}
void testArrayPassFunc(void)
{
uint8_t a[3] = {1,2,3};
uint8_t b[3] = {1,2,3};
TEST_ASSERT_EQUAL_HEX8_ARRAY(a, b, 3);
}
void testArrayFailFunc(void)
{
uint8_t a[3] = {1,2,3};
uint8_t b[3] = {1,2,4};
TEST_ASSERT_EQUAL_HEX8_ARRAY(a, b, 3);
}
void testBitsFunc(void)
{
TEST_ASSERT_BITS(0xF0, 0x35, 0x34);
}
void testFloatPassFunc(void)
{
// 这些断言验证actual参数处于expected参数的+/-delta之间。
TEST_ASSERT_FLOAT_WITHIN(0.4, 1.2, 1.5);
}
void testFloatFailFunc(void)
{
// 这些断言验证actual参数处于expected参数的+/-delta之间。
TEST_ASSERT_FLOAT_WITHIN(0.2, 1.2, 1.5);
}
void testStringFunc(void)
{
char *s = "hello unity";
TEST_ASSERT_EQUAL_STRING(s, "hello unity");
}
void testStringMessageFunc(void)
{
char *s = "hello unity";
TEST_ASSERT_EQUAL_STRING_MESSAGE(s, "hello unity!", "I'm a message!");
}
void test_unity(void)
{
printf("\r\n*****hello unity*******\r\n");
RUN_TEST(testBoolPassFunc);
RUN_TEST(testBoolFailFunc);
RUN_TEST(testIntFunc);
RUN_TEST(testArrayPassFunc);
RUN_TEST(testArrayFailFunc);
RUN_TEST(testBitsFunc);
RUN_TEST(testFloatPassFunc);
RUN_TEST(testFloatFailFunc);
RUN_TEST(testStringFunc);
RUN_TEST(testStringMessageFunc);
UNITY_END();
}
当我们把失败的case都去掉后。