简介《Testbed单元测试方法手册》面向使用Testbed开展C/C白盒测试与单元测试的开发者、测试工程师及学习者聚焦从环境配置到用例执行、覆盖率查看和报告归档的完整操作链路。压缩包内为1个doc文档约2.01MB按章节梳理选择待测文件与头文件路径、宏添加、分析项选择、测试序列创建、全局变量赋值、输入输出变量创建、入参指针或数组映射、桩函数返回值设置、运行测试用例、覆盖率查看及报告保存等关键环节。文中还给出错误信息、测试日志和软件版本排查等常见问题处理思路并说明覆盖率报告与回归报告的查看方式便于读者按目录快速定位步骤、对照工具完成单元测试实践。已有6123人学习适合需要系统掌握Testbed单元测试流程或查漏补缺的读者参考。1. Testbed 单元测试 白盒测试最容易卡在“用例能跑、覆盖率不闭环”Testbed 单元测试 白盒测试最容易卡在“用例能跑、覆盖率不闭环”编译通过Run 也点了覆盖率却总在 92% 上下晃改两版测试序列还是找不到缺口。这类现场问题靠界面按钮试不出来得有一份能对照字段的操作手册。这份 Testbed 单元测试方法手册以 V8.2.0 为基线把选文件、配头文件、加宏、建序列、赋全局变量、映射指针数组、设桩函数、跑用例、看覆盖率和回归报告串成一条线。适合刚接手单元测试执行的人也适合要把覆盖率证据交出去、又不想在配置环节反复翻车的老手。2. 环境与工程配置文件、头文件路径、宏三件事先做对Testbed 的分析结果不是凭空来的它先按你给的搜索路径和宏做预处理再生成分析库。路径少一层、宏少一个后面用例可能全 PASS覆盖率却对不上真实分支。我一般把配置当成第一道验收待测文件、头文件、宏、分析项四项都确认再进单元测试界面。这一步没做顺后面调用例就像在黑匣子里猜。2.1 选择待测 C 文件与确认编译单元先在File/Select File里选待测的.c文件不要把头文件当待测对象选进来。选完之后别急着点分析先确认这个文件在实际工程里依赖哪些头文件、编译时开了哪些宏。常见翻车点是单文件能打开但工程里的 include 顺序和宏开关跟工具里配的不一致分析阶段就会报类型找不到或者把某些分支当成不存在。我一般按下面几项过一遍检查项目的不合格时的表现待测.c文件确认分析对象是编译单元选成.h后函数列表为空实际 include 路径让工具找到类型和宏定义报 unknown type、undeclared编译宏打开条件编译分支覆盖率缺分支代码行显示不全同目录同名头文件避免引用错版本分析结果和工程编译结果不一致如果工程里同一个头文件名出现在多个目录先把实际编译用的那一份路径记下来后面配搜索路径时优先放它。Testbed 不会替你判断哪份头文件才是真的路径顺序和 dat 文件内容写错它只会按错的走。2.2 头文件搜索路径Search Options 和 dat 文件手编两条路头文件路径配置在configure/static options里。第一次添加头文件时先创建一个 dat 文件存放目录按个人习惯来别临时丢在桌面。创建后点弹框中间的Search Options再点路径栏右侧的...选头文件目录如果下级子目录多勾选Add Subdirectories as search paths然后点Add search path最后确定。另一条路是直接编辑 dat 文件。点右侧的Edit在文件开头按行写目录行首1表示这条语句有效0表示注释。新创建的 dat 文件里可能没有有效语句看起来路径写了实际全被注释掉分析时照样找不到头文件。这个坑很常见尤其是从别人机器上拷来的 dat 文件行首状态一定要看。dat 行首含义常见误判1该搜索路径生效以为只是编号随手改成 00该行被注释路径明明在文件里分析却不认注意dat 文件行首的0不是空行标记是注释。路径看起来在实际没生效。路径配完后先跑一次分析看日志里还有没有找不到的头文件。如果某个类型定义在子目录里优先勾选子目录搜索不要靠逐个手工补路径后面维护成本太高。2.3 宏定义配置把“工具看不见的分支”打开宏的配置入口和头文件类似点Macros创建或打开一个 dat 文件点Edit Default进行编辑把需要开放的宏复制粘贴进去。这里的关键不是“宏越多越好”而是跟实际编译保持一致。#ifdef包住的分支如果宏没开工具分析时根本看不到覆盖率报告上看起来少了几行实际是预处理阶段就被裁掉了。我一般会把宏分成三类看宏状态分析结果风险与实际编译一致分支和代码行完整覆盖率可信少开宏条件编译分支缺失覆盖率虚高或代码行对不上多开调试宏非交付分支被算进来覆盖率被稀释报告失真调试宏要不要开取决于这次单元测试的目标。只验证交付分支就不要把调试专用宏全打开否则用例写不完覆盖率还上不去。反过来如果某个宏控制的是错误处理分支而测试计划要求覆盖异常路径那就必须打开并为它设计输入。宏改完不要沿用旧分析结果重新跑一次分析。分析库和 workfiles 会保留上一次的痕迹尤其是你刚改完路径又改宏的时候旧结果混进来最容易让人误判。2.4 分析项与 UnitTest only 的取舍在select analysis界面选择前四项点start analysis等分析完成。分析完成后点按钮进入单元测试界面。如果前面没做分析直接点UnitTest only工具默认也会做前四项分析效果一样但少了单独检查分析日志的机会。入口适用场景注意先选分析项再 start analysis首次配置、路径或宏刚改过先看分析日志排掉类型和头文件问题UnitTest only分析库已稳定只想快速进用例出问题时仍要回来看分析日志提示改了头文件路径或宏之后不要沿用旧分析结果重新跑一次分析。分析和用例不是两条线前面的配置会直接影响后面的覆盖率。配置阶段做扎实后面建序列时函数列表、变量类型和分支信息才是完整的。很多人把时间花在反复改用例实际根因在头文件 dat 文件行首那个0或者少写了一个编译宏。3. 从函数到测试序列建用例、赋全局变量、映射指针数组这一段最容易出“点得出来但不可信”的用例。界面会自动生成变量自动生成不等于正确Input parameter与Input global混用、输出变量没设Compare Write、指针没映射最后报告里全是 PASS实际没验证到逻辑。单元测试的质量八成看这里的变量语义有没有对齐。3.1 创建测试序列与命名习惯在单元测试界面点Sequence/New填写序列名称。手册里建议用待测函数名方便回归时快速定位我一般再加场景后缀和序号比如函数名_空指针_01、函数名_正常分支_02。同一个函数用例多了以后回归报告里一排test1、new根本分不清是谁。首次安装工具后做单元测试弹框里有些选项要勾选按手册图示勾上再点continue。进入界面后在右侧选择待测函数右键点Create New Test Case弹窗后连续点continue直到生成测试用例。生成出来的用例只是骨架变量值、桩函数、预期输出都要自己填。注意序列名不要用“test1”“new”这类词。回归报告里同名用例一多定位成本比建用例还高。3.2 Input parameter 与 Input global 的边界界面右下角会自动生成需要输入和输出的变量。输出变量如果value是suspend可以直接右键选中后remove不要让它挂着。suspend不是有效输出回归报告里的Suspends列会把它统计进去交报告时很难解释。输入变量分两种Input parameter applied through local是函数入参只能在这个参数的Value处赋值或映射Input global是函数里引用到的其他全局变量可以在右下角赋值也可以在左下角用例处右键Modify Existing Test Case/Code Inserts/Initialisation Code在弹框里做初始化。两条路都能走但不要同时走。Use 类型对应对象赋值位置常见错误Input parameter applied through local函数入参右下角该参数的 Value拿到 Code Inserts 里赋驱动生成后仍取默认值Input global函数内引用的全局变量右下角或 Code Inserts 初始化代码两处都赋值自动生成的 Input global 没删实际生效值不确定Output global输出全局变量Regression Analysis 选 Compare Write选成 Assign只写不比较PASS 不可信如果右下角已经自动生成了Input global的赋值而你又要用Code Inserts里的赋值先把右下角自动生成的那条删掉。两处同时存在时工具按哪一处生效要看生成顺序最后结果不稳定排查起来很费时间。3.3 Create IO Variable 的字段怎么填右下角空白处右键点Create IO Variable In Test Case。Name填变量名Type填类型Use下拉选择Input Global或Output Global。如果是Input GlobalRegression Analysis选Assign如果是Output Global选Compare Write然后在Value里填输入值或预期输出值。字段怎么填作用Name与被测代码里的变量名一致驱动生成时能对上符号Type先用实际类型工具不认时退回基本类型避免声明不识别UseInput Global 或 Output Global决定变量参与输入还是输出比较Regression Analysis输入选 Assign输出选 Compare Write决定工具是注入还是比较Value输入值或预期输出值没有基准就没有比较输出变量选成Assign是最隐蔽的坑用例会 PASSFails也是 0但工具只是把实际输出写进去没有和预期值比较。报告看起来干净实际没验证输出。只要这个变量承担验证职责Compare Write和预期值一个都不能少。3.4 指针/数组成员映射Point to global Entity 与 Create User Global函数入参是指针或数组时不能只在Value里填个数字要把它映射成同类型的全局变量。方法一是在指针或数组的Value处右键点Point to global Entity或Assign to global弹框里New Name可以任意填类型会自动生成。映射后如果构建报变量未声明多半是 Testbed 不识别项目里的自定义类型这时在Declaration Type填原指针或数组的基本类型Array Bounds填数组脚标大小Initial Value填初值。方法二是点菜单栏Global variables/Create User Global弹框没有默认类型全部手动填。创建完成后在需要映射的指针Value处填变量名数组填变量名[n]。映射出来的全局变量还要单独赋值不然指针指向的是一块没初始化的内存用例结果不可信。字段含义填错后的现象New Name映射后的全局变量名重名后驱动里符号冲突Declaration Type声明类型工具不认 typedef 时填基本类型构建报 undeclaredArray Bounds数组脚标大小数组越界或只映射到一个元素Initial Value指针/数组初值用例读到随机值结果飘指针常用Point to global Entity数组或需要整体赋值时用Assign to global不管哪种映射出来的变量都要赋初值。映射完成后先Build Driver不要直接Execute。变量未声明、类型不匹配这类问题在构建阶段暴露最省时间等到执行阶段再看日志信息会绕很多。提示映射后先 Build Driver再 Execute。构建阶段能挡掉大部分变量声明和类型问题。4. 桩函数、单用例运行与覆盖率闭环把 PASS 变成可复查证据桩函数、运行顺序、覆盖率清除是单元测试报告能不能复查的三道关。用例 PASS 只说明这一次比较通过不说明覆盖率真实、不说明输出都被比较。把这三步做成固定动作报告才敢交给别人看。4.1 桩函数返回值隔离外部依赖在界面标记处双击可以看到被测函数调用到的其他函数。如果某个函数需要设置返回值右键选中它点Set Return Value on Exit在弹框的Value处填返回值。桩函数的作用是把外部依赖切开让当前函数的逻辑单独受控返回值要跟被测函数的分支判断对得上。比如被测函数根据桩函数返回0或非0走不同分支那至少要为这两种情况各设一组桩返回值。只设一个固定值另一条分支永远进不去分支覆盖率会卡住。返回值类型也要和函数声明一致指针返回值不要填普通整数否则构建阶段就会报类型错误。Set Return Value on Exit管的是返回值。如果桩函数通过出参写值这个入口管不到常见做法是用全局变量或初始化代码补上出参的初值。这个边界要先看清不然会误以为桩函数没生效。4.2 运行用例的两种路径与 Resequence 的用途第一个用例可以右键空白处点Run Test Case Driver也可以点界面上方按钮更稳的方式是按顺序点Generate Driver - Build Driver - Execute Driver - ProcessRegression Driver Output。分步点的好处是能看出问题出在生成、编译、执行还是结果处理直接一键跑到底报错时只剩一个黑匣子。第一个用例跑过之后后面设计了多个用例可以继续用上面的方法也可以右键选中某个测试用例点Resequence This Test Case单独运行或者点Resequence This and Subsequent Test Cases对选中的用例及之后的用例逐个运行。后者适合改了一批用例后批量重跑比较预期输出和实际输出。操作执行范围适用场景Run Test Case Driver当前用例/驱动第一个用例先看整体能不能跑Generate/Build/Execute/Process分步执行排查构建错误或结果处理错误Resequence This Test Case选中的单个用例只改了一个用例快速验证Resequence This and Subsequent选中及之后所有用例批量重跑比较预期与实际注意用 Resequence 单独跑用例后覆盖率报告中间列只反映当前或最后一个单独执行的用例不要拿它当全量覆盖率。4.3 覆盖率清除与复跑防“假 100%”用例通过后右上角能看到函数覆盖率也可以点Results/Dynamic Coverage Analysis Report看语句、分支、MC/DC 的详细情况。如果覆盖率全都满足 100%先别高兴点Source菜单里的Delete Testbed workfiles在弹框里选中对应选项后点 OK把覆盖率清掉再按 4.2 的方法一全量跑一遍。这一步看起来玄学实际很有必要。workfiles 会保留之前的执行痕迹人工操作也可能造成“看起来覆盖了”的假象。删掉后重跑能确认覆盖率不是旧数据堆出来的。尤其是接手别人做了一半的序列旧 workfiles 和新用例混在一起报告很容易骗人。注意删 workfiles 会清掉当前工作文件导出的 TCF 和报告先保存再清理。4.4 报告导出TCF、覆盖率、回归三份文件报告保存分三处Sequence/Export Test Cases (TCF)点save as保存 TCFResults/Dynamic Coverage Analysis Report点save as保存覆盖率报告Results/Regression Report点save as保存回归报告。三份文件各管一段缺一份后面复查就要重新跑。报告菜单用途保存动作TCFSequence/Export Test Cases测试序列备份便于复查Save as覆盖率报告Results/Dynamic Coverage Analysis Report语句、分支、MC/DC 证据Save as回归报告Results/Regression ReportPASS、Fails、Suspends 结果Save as文件命名我一般用“模块_函数_日期_版本”不要只写report。同一轮测试可能改几次用例报告名不带版本后面根本分不清哪份是最终证据。提示先导 TCF再导覆盖率和回归清理 workfiles 前导出避免复跑后旧报告丢失。5. 避坑排查五个现场问题从现象到解决下面五个问题在 Testbed 单元测试里出现频率很高现象看起来都像工具坏了实际多半是配置或变量语义没对齐。按现象、原因、解决顺序排查比反复重装工具快。5.1 头文件路径加了分析仍报类型找不到现象分析日志报 unknown type 或 undeclared头文件路径在界面里明明有。原因dat 文件行首是0路径被注释只加了根目录没勾Add Subdirectories as search paths宏没配对条件编译把类型定义屏蔽了。解决打开 dat 看行首1/0改成1勾选子目录搜索后重新Add search path把编译宏补进 Macros dat重新跑分析。如果还报先Delete Testbed workfiles再分析避免旧分析库残留。5.2 指针映射后 Build Driver 报变量未声明现象映射完成生成驱动时报 undeclared identifier。原因Testbed 不识别项目自定义本文还有配套的精品资源点击获取
