嵌入式C代码单元测试工具试用总结--Aunit/SpecChecker

最新推荐文章于 2025-09-23 17:39:23 发布
原创 最新推荐文章于 2025-09-23 17:39:23 发布 · 3.9k 阅读 · 7 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#嵌入式C代码 #静态分析工具 #单元测试工具 #Aunit #SpecChecker

本文总结了Aunit和SpecChecker两款软件工具的使用心得。Aunit在自动生成测试用例时存在缺陷，如处理循环逻辑不当，变量赋值混乱，影响测试效率和准确性。同时，它在覆盖度测试中表现良好。SpecChecker则以其人性化的GUI和快速的分析速度受到好评，但在错误定位和帮助文档方面有待改进。
Aunit试用总结1. 自动生成的用例，准确度非100%。如遇到while循环，自动生成的用例并不会给定退出while循环的用例值，造成进入死循环，测试无法执行通过
2. 测试用例编写界面，并非所有的变量都需要给定值。但自动生成的用例会给定好多变量的值，有用的、无用的都有，难以直接判定要达到覆盖度100%，需要修改哪些变量
3. 工具不是很成熟，存在bug（个别源文件静态分析后显示可测试函数为0，实际是有函数的）
4、对于没有明确输入和输出的函数，计算结果为全局变量，如果不给定该全局变量的值，那么测试用例仍会显示测试通过
5、为何我输入预期值为0，运行测试用例，却显示返回值的预期值不对？而不输入预期值，运行测试用例，出来的返回值和原先输入的预期值却是一样的
6. Aunit在覆盖度测试方面确实可以大大提高效率，但要做功能测试，效率并不能提高太多
 
  
SpecChecker试用总结1. 优势--GUI交互很人性化，生成的报告可读性强
2. 优势--分析速度快。在分析之前就定制好规则
3. 试用版本不支持直接在分析页面上修改代码，购买后的新版本可以
4. SpecChecker报出的编译器错误，有时产生错误的地方并非该条错误指向的语句，但一般在该条错误指向语句的上下都会出现红旗标志，错误的确切出处去这些地方找就可以
5. help文档比较简陋，没有给出对分析报告的解读方法
 
嵌入式的C单元测试工具集（18个）
09-20 1033
C/C++ unit testing tools (18 found) Boost http://www.boost.org/libs/test/doc/index.html Description: The Boost Test Library provides
C语言的集成测试工具,Tessy-嵌入式软件单元测试/ 集成测试工具-研发工具-恒润科技...
weixin_39618339的博客
05-19 1589
另外，Tessy也可以满足各类标准(ISO26262、IEC 61508、 EN 50128/50129，汽车SPiCE或FDA的软件验证通用原则)对测试的需求，比如ISO26262中各个测试等级中对模块测试的要求可以使用Tessy来满足，当然Tessy本身也通过了Tuev的认证，可以在安全相关性的软件研发过程中被使用。主要功能•自动生成测试环境Tessy可以自动生成测试环境驱动，选择自动或者手动...
代码静态分析工具试用总结--SpecChecker
08-06
从代码静态分析的5个方面分析SpecChecker工具的特点，有助于从各个代码静态分析工具中选用适合自己的
嵌入式软件单元测试与持续集成实践指南
babyli5555的博客
09-23 842
嵌入式单元测试的核心挑战在于：硬件依赖性。你的代码通常直接与寄存器、外设（如UART、SPI、ADC）和中断打交道。传统的“在PC上编译运行”的方式行不通。 因此，嵌入式单元测试方法的核心思想是：将不可测试的硬件部分隔离，从而让可测试的业务逻辑代码能够在隔离的、可控的环境中运行。
C/C++单元测试/嵌入式测试/集成测试工具Viaul Unit 4.4
06-03
Viaul Unit是C/C++单元测试工具/嵌入式测试工具/集成测试工具。表格驱动，无须编写测试驱动和桩代码；支持快速完成航空标准（MC/DC)；程序行为可视，支持快速编写复杂代码，提升开发效率。此版本安装后可测试自带的示例，用以学习单元测试技术；申请免费试用license后，可测试自己的代码。
嵌入式软件测试工具--LOGISCOPE
kingofbird的专栏
05-17 2178
LOGISCOPE 是一组嵌入式软件测试工具集。它贯穿于软件开发、代码评审、单元/集成测试、系统测试、以及软件维护阶段。它面向源代码进行工作。LOGISCOPE 针对编码、测试和维护。因此，LOGISCOPE 的重点是帮助代码评审（Review ）和动态覆盖测试（Testing ）。　　LOGISCOPE对软件的分析，采用基于国际间使用的度量方法（Halstead、McCabe等）的质量模型，
嵌入式软件测试工具codetest
01-09
作为全球第一台专为嵌入式系统软件测试而设计的工具套件，CODETEST为追踪嵌入式应用程序，分析软件性能，测试软件的覆盖率以及存储体的动态分配等提供了一个实时在线的高效率解决方案。CODETEST还是一个可共享的网络工具，它将给整个开发和测试团队带来高品质的测试手段。 CODETEST可同时监视整个应用程序，这就避免了在选择程序的哪部分来观测以及如何配置相应工具来对各部分进行测试时带来的困难。即便是在程序超出高速缓存(cache)或被动态再分配时，CODETEST仍能生成可靠的追踪及测试结果。 在进入连续运行模式时，CODETEST能够同时测试出软件的性能，代码覆盖以及存储器动态分配，捕获函数的每一次运行，无论是在检测一个局部的软件模块还是整个软件系统测试，工程师只须简单地将CODETEST的仿真探头(probe)插到目标系统的处理器上，预处理待测的源程序，启动CODETEST，运行测试处理软件。测试结果在测试进行过程中或在测试结束后均可随时翻阅
使用Ceedling进行单元测试（嵌入式）C应用程序
pegasusliuyong的专栏
03-24 2270
使用Ceedling进行单元测试（嵌入式）C应用程序 https://dmitryfrank.com/articles/unit_testing_embedded_c_applications 就像许多其他嵌入式软件工程师一样，我过去常常将嵌入式应用程序交付生产，而没有对其进行适当的测试。仅进行了一些手动测试。我给人的印象是没有真正的方法可以对其进行测试：您知道，嵌入式应用程序在自定义硬件中...
嵌入式c语言代码-car-WIFI-Keil.zip
02-14
嵌入式系统的特性决定了其对资源的高效利用有着严格的要求，因此，嵌入式C语言编写出的代码通常需要精简、高效且能够直接与硬件交云。WIFI技术的应用在嵌入式系统中越来越普遍，它允许设备通过无线网络连接到互联网...
C语言嵌入式Linux编程（1）--C语言进阶学习路线指南
06-09
嵌入式不仅要求学员掌握C语言的基本语法，还要对1）计算机基本原理、系统架构2）编译、链接原理、程序加载运行原理、嵌入式系统硬件3）Ｃ标准、Ｃ编译器对Ｃ标准的扩展4）程序的健壮性、安全性、编码风格等有一个更...
【嵌入式单元测试】C语言单元测试框架搭建
分享嵌入式Linux技术知识
07-15 4369
嵌入式单元测试框架搭建
cpp-ECOV是一个超级简单的嵌入式代码白盒覆盖测试工具它是为简单的嵌入式应用程序设计的
08-15
容易在嵌入式应用上搭建测试环境 只使用串口外设和最少量的代码插入 近乎为0的执行开销 - 应用程序不会感知到这一点 很少的内存消耗。256字节内存就足够对一个2048行的源程序做覆盖测试了。 完全无需移植 能生成测试报告
嵌入式软件的测试方法和工具
08-20
嵌入式系统已经广泛应用于人类生活中，包括消费电子产品、交通系统、工业过程控制等等。嵌入式系统中软件的规模和复杂性正在迅速增加，嵌入式软件正在成为信息技术：户发展最快的领域。
嵌入式软件单元测试
04-25
嵌入式软件单元测试框架说明和接口使用手册。C语言是嵌入式软件编程首选语言，读懂该手册可以自如地进行单元测试。
speckerchecker:用于检查与目录树中每个 JS 文件对应的 Spec 文件是否存在的小实用程序
06-30
斑点检查器 用于检查与目录树中每个 JS 文件对应的 Spec 文件是否存在的小实用程序 目的 ，一种流行的 Javascript 测试覆盖率工具，只检查已存在相应Spec文件的文件的覆盖率。 如果不存在Spec文件，则src文件不包含在覆盖率报告中。 有关历史，请参阅在 Stack Overflow 上的问题。 目标 检查spec树中是否存在与src树中的文件相对应的文件 允许规范和 src 树配置 允许排除文件列表 弄清楚是扔还是退出还是w/e 测试
嵌入式的C单元测试工具集18个
with one heart的专栏
11-08 1195
<br />核心提示： C/C++ unit testing tools (18 found) Boost http://www.boost.org/libs/test/doc/index.html Description: The Boost Test Library provides a matched set of components for writing test programs, organizing tests in to simple test cases and test suites
代码静态分析--试用SpecChecker
Eigrl的博客
10-07 3530
SpecChecker的功能   将整个代码工程文件导入SpecChecker后，其提供如下分析功能： 安全规则检查。依据制定的编程规则（MISRA C、企业自定编程规范等）对代码进行规则检查。违背规则的语句会在结果中给出，并指出违背的规则项。 软件质量度量。软件质量度量的分析依赖安全规则检查和代码度量分析。衡量的指标有：可靠性、可维护性、可移植性、效率性。试用版本上无软件质量度量功能...
适合于嵌入式系统的C语言单元测试框架:Scunit
jdh99的专栏
09-01 3219
适合于嵌入式系统的C语言测试框架CUNIT 本文博客链接:http://blog.youkuaiyun.com/jdh99,作者:jdh,转载请注明. 说明 主流语言都有测试框架，在嵌入式领域特别是资源紧缺的单片机工程中没有合适的测试框架。本文发布一种简单的C语言测试框架CUNIT，可以应用于嵌入式领域。 测试环境 本框架是基于标准C语言编写，对平台无要求，测试环境如下： 单片机：STM32F407 RTO...
c语言语法sc,适合于嵌入式系统的C语言单元测试框架:SCUNIT
weixin_29279101的博客
05-19 1167
说明主流语言都有测试框架，在嵌入式领域特别是资源紧缺的单片机工程中没有合适的测试框架。本文发布一种简单的C语言测试框架SCUNIT，可以应用于嵌入式领域。测试环境本框架是基于标准C语言编写，对平台无要求，测试环境如下：单片机：STM32F407RTOS：RT-THREAD测试用例测试的是基于链表的一个路由表结构。APIvoid scunit_load(PrintFunc func);void sc...
嵌入式代码单元测试工具
最新发布
11-27
<think> 首先，用户的问题是：“我想查找嵌入式代码单元测试工具 请问嵌入式代码单元测试工具推荐”。这是在询问推荐嵌入式代码单元测试工具。 我需要参考提供的引用内容： - 引用[1]：提到TESTBEDTBRUN，描述为嵌入式软件单元测试工具，能提高软件质量，带来便捷开发体验。 - 引用[2]：提到Tessy，一款针对嵌入式软件进行单元/集成测试的工具，源自戴姆勒-奔驰公司，由Hitex公司销售支持。支持C/C++代码测试，自动化测试环境搭建、执行、评估和报告生成。广泛应用在汽车领域。 - 引用[3]：讨论了嵌入式软件单元测试的重要性，提到gtest和lcov结合使用，但指出在某些情况下（如依赖外部硬件）无法覆盖所有分支。 - 引用[4]：总结了两个工具：Aunit/SpecChecker。Aunit在覆盖度测试方面效率高，但存在bug和问题；SpecCheckerGUI友好，分析速度快，但help文档简陋。 系统级指令： - 所有行内数学表达式用$...$格式。 - 独立公式用$$...$$格式并单独成段。 - LaTeX语法正确。 - 使用中文回答。 - 生成相关问题。 - 回答中引用的段落末尾自然地添加引用标识，如[^1]。 用户可见层指令： - 回答结构清晰，帮助用户逐步解决问题。 - 保证回答真实可靠。 用户上一次的问题和我的回答：从上下文看，用户之前可能问过类似问题，但在这个对话中，这是第一个问题。所以，我需要基于当前引用回答。 结构化回答： 1. **介绍嵌入式代码单元测试工具的重要性**：基于引用[3]，强调单元测试在嵌入式开发中的必要性，尤其是在汽车领域。 2. **推荐工具**：基于引用，提出现实可用的工具。 - 引用[1]：TESTBEDTBRUN。 - 引用[2]：Tessy。 - 引用[4]：Aunit和SpecChecker。 - 引用[3]：提到gtest和lcov组合。 3. **比较工具**：简要比较这些工具的优缺点，帮助用户选择。 4. **生成相关问题**：在回答末尾添加相关问题。 回答结构： - 开头：简要介绍嵌入式单元测试工具的重要性。 - 主体：列出推荐工具，每个工具简要描述、优点、缺点，并添加引用标识。 - 结尾：建议用户根据需求选择，并生成相关问题。 确保语言自然、中文。 生成相关问题：类似于示例，例如： 1. 如何选择适合的嵌入式单元测试工具？ 2. 嵌入式单元测试的最佳实践是什么？ 3. Tessy工具的详细功能有哪些？ 数学表达式：用户问题不涉及数学，所以可能不需要。但如果提到任何数学概念，需用LaTeX格式。这里可能不涉及。 最终回答： - 用中文。 - 清晰地列出工具。 - 添加引用标识。 </think>### 嵌入式代码单元测试工具推荐 在嵌入式软件开发中，单元测试是确保代码质量和可靠性的关键环节。它能帮助开发者发现早期错误，减少后期调试成本，尤其在高可靠性领域（如汽车电子）中不可或缺。以下基于权威资源和实际应用，我推荐几款主流的嵌入式代码单元测试工具。这些工具支持C/C++代码测试，并各有优缺点，您可以根据项目需求（如自动化程度、报告生成、硬件依赖处理等）选择适合的工具。 #### 1. **Tessy** - **描述**：Tessy是一款专业的嵌入式软件单元测试和集成测试工具，源自戴姆勒-奔驰公司的技术实验室，由德国Hitex公司提供支持。它可自动化搭建测试环境、执行测试用例、评估结果并生成详细报告，支持C/C++代码测试。Tessy特别擅长测试组织和需求管理，广泛应用于汽车行业。 - **优点**： - 自动化程度高：减少手动测试工作量。 - 多样化测试用例导入：支持从需求直接生成测试用例。 - 强大的报告功能：提供清晰的覆盖率统计（如语句、分支覆盖）。 - **缺点**：商业授权成本较高，学习曲线较陡。 - **适用场景**：需要高可靠性和合规性（如ISO 26262）的项目，例如汽车ECU开发。 - 引用来源：Tessy在汽车客户中广泛应用，其测试管理功能在嵌入式领域表现突出[^2]。 #### 2. **TESTBEDTBRUN** - **描述**：这是一款高效的嵌入式软件单元测试工具，专注于提高代码质量并简化开发流程。它支持自动化测试执行和结果分析，适用于各类嵌入式平台。 - **优点**： - 易用性强：提供便捷的集成开发体验。 - 提升效率：减少测试时间，帮助开发者快速定位问题。 - **缺点**：相关文档较少，社区支持不如开源工具丰富。 - **适用场景**：中小型嵌入式项目或需要快速上手的团队。 - 引用来源：TESTBEDTBRUN被推荐为值得尝试的工具，能带来显著的开发效率提升[^1]。 #### 3. **gtest + lcov组合（开源方案）** - **描述**：Google Test (gtest) 是一个开源C++测试框架，结合Lcov（代码覆盖率工具），可实现单元测试和覆盖率统计。特别适合预算有限的团队。 - **优点**： - 免费且灵活：易于集成到持续集成(CI)流程中。 - 覆盖率分析：Lcov生成HTML报告，直观展示未覆盖代码分支。 - **缺点**： - 硬件依赖问题：在需要模拟外部硬件（如GPIO引脚）时，可能无法覆盖所有分支（例如，依赖硬件状态的代码路径）。 - 手动配置复杂：需要额外脚本支持测试环境搭建。 - **适用场景**：开源项目或资源受限的嵌入式开发，如IoT设备。 - 引用来源：gtest和lcov结合使用是常见实践，但在硬件交互场景下存在局限性[^3]。 #### 4. **Aunit 和 SpecChecker** - **描述**：Aunit专注于自动化测试用例生成和覆盖度分析，SpecChecker则强调静态代码分析和规则定制。两者均支持C代码测试。 - **优点**： - Aunit：高效覆盖度测试，自动化生成用例节省时间。 - SpecChecker：GUI界面友好，分析速度快，报告可读性强。 - **缺点**： - Aunit：存在bug（如死循环问题），自动生成的用例准确率非100%。 - SpecChecker：help文档简陋，新手学习难度大。 - **适用场景**：需要快速覆盖度提升或代码规范检查的项目，如消费电子。 - 引用来源：Aunit在覆盖度测试方面效率高，但功能测试支持不足；SpecChecker分析速度快但文档支持弱[^4]。 #### 选择建议 - **优先考虑商业工具**：如果项目要求高可靠性和自动化（如汽车领域），推荐Tessy或TESTBEDTBRUN。 - **开源替代**：对于成本敏感型项目，gtest + lcov是经济的选择，但需注意硬件模拟挑战。 - **综合评估**：根据团队规模、预算和测试需求（如覆盖率目标）做决策。工具试用版通常可用，建议先进行POC测试。 ### 相关问题 1. 如何解决嵌入式单元测试中的硬件依赖问题？ 2. Tessy工具在汽车电子中的应用案例有哪些？ 3. 开源单元测试工具（如gtest）的最佳配置方法是什么？
评论 6
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值