Unity(单元测试)在STM32上的移植与应用

概述

Unity Test是一个为C构建的单元测试框架。本文基于STM32F407为基础,完全使用STM32CubeIDE进行开发,移植和简单使用Unity。

单片机型号:STM32F407VET6

软件:STM32CubeIDE  Version: 1.14.1    Unity Version:2.6.0

一、配置stm32工程

Unity(单元测试)在STM32上的移植与应用_第1张图片

新建工程,选择407芯片,生成工程后开始配置硬件,这里我们只使用了串口1,作为打印输出串口,按照图片设置,波特率等根据需要设置,这里我使用的默认值。

Unity(单元测试)在STM32上的移植与应用_第2张图片

我习惯单独生成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也放到目录中。

Unity(单元测试)在STM32上的移植与应用_第3张图片

在工程中右键并刷新

Unity(单元测试)在STM32上的移植与应用_第4张图片

Unity(单元测试)在STM32上的移植与应用_第5张图片

这时就会看到我们添加的文件夹了。

Unity(单元测试)在STM32上的移植与应用_第6张图片

在工程上右键Properties,如下图步骤添加unity到includes目录中。

Unity(单元测试)在STM32上的移植与应用_第7张图片

Unity(单元测试)在STM32上的移植与应用_第8张图片

如上图,添加源文件到工程中参与编译。

此时就可以编译了,可以正常编译通过。

这里说一下配置文件,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 
#include 

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();
}

这个时候再编译就会报错

Unity(单元测试)在STM32上的移植与应用_第9张图片

因为我们有两个函数未实现,

/*
 * test_unity.c
 *
 *  Created on: Feb 14, 2024
 *      Author: Administrator
 */

#include "unity.h"
#include 
#include 

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() 方法则用于用例的释放,比如测试后的清理工作,比如数据还原、资源释放等。

运行输出如下:

Unity(单元测试)在STM32上的移植与应用_第10张图片

符合预期,我们再写几个,完善一下测试程序。

/*
 * test_unity.c
 *
 *  Created on: Feb 14, 2024
 *      Author: Administrator
 */

#include "unity.h"
#include 
#include 

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();
}

Unity(单元测试)在STM32上的移植与应用_第11张图片

当我们把失败的case都去掉后。

Unity(单元测试)在STM32上的移植与应用_第12张图片

你可能感兴趣的:(编程语言技巧,单片机软件开发,stm32,嵌入式硬件,单片机,unity)