TESSY单元测试指针怎么测，TESSY单元测试指针输入如何构造，指针类接口一旦进入单元测试，最容易出现两种“假象”：一是用例看起来覆盖了分支，但实际只是在同一块内存上反复改值，错误被状态残留掩盖；二是指针输入构造不严谨，导致用例失败并不是业务逻辑错，而是空指针、越界、对齐或生命周期没处理好。要把单元测试指针做扎实，先要把指针参数按方向与层级拆开测，再把指针指向的对象按可控内存来构造，最后把越界与内存污染的风险用固定动作拦住。

　　一、TESSY单元测试指针怎么测

　　TESSY单元测试指针的关键，不是“能传进去一个地址”就算测到，而是要让每个指针相关分支都在可解释的条件下触发，并且每条用例结束后内存状态可复现。建议先按指针角色分层，再按分支风险补齐用例。

　　1、先把指针按角色分成输入指针、输出指针、输入输出指针

　　(1)输入指针只读为主，重点测空指针处理、长度参数与指针一致性、以及边界值触发的分支，例如len为0但ptr非空时是否允许，len大于缓冲区时是否拦截；

　　(2)输出指针以写入为主，重点测写入的字段是否完整、返回码与写入结果是否一致、以及异常路径下是否保持“输出不被部分污染”；

　　(3)输入输出指针最容易产生状态残留，重点测同一块内存被修改后的二次调用行为，确保第二次调用不是吃到上一次用例留下的数据。

　　2、按指针层级拆开测，避免一上来就测复杂组合

　　(1)一级指针如uint8_t*、struct*，先用最小对象跑通，再补边界与异常；

　　(2)二级指针如char**、struct**，先明确它指向的是“指针数组”还是“可变输出地址”，再分别覆盖NULL外层指针、NULL内层指针、以及内层指针指向无效区域的分支；

　　(3)指针与长度成对出现时，把用例按组合拆开测，至少包含ptr为NULL与len为0、ptr为NULL与len大于0、ptr非空与len为0、ptr非空与len超上限四类，很多单元测试指针问题都卡在这四类组合上。

　　3、把“指针有效”拆成可验证条件，而不是一句口头描述

　　(1)有效指针至少要满足可读或可写、对齐满足平台要求、生命周期覆盖被测函数执行窗口三条，缺一条都可能在执行阶段崩溃；

　　(2)对结构体指针要额外关注成员初值与保留位，尤其是位域与枚举字段，建议用例里明确写出关键字段初值，避免默认值不确定导致分支漂移；

　　(3)对字符串指针要明确是否要求以结尾，长度参数是包含还是不包含，用例要覆盖“缺少终止符”“终止符在边界位”“长度小于实际字符串”三类典型问题。

　　4、用例设计优先覆盖单元测试指针最常见的风险分支

　　(1)空指针与参数校验分支，要求不仅验证返回码，还要验证输出区是否保持不变或被清零，避免出现失败路径写了一半数据；

　　(2)越界与截断分支，重点验证最大长度、最大索引、以及写入时是否预留终止符或校验位；

　　(3)重复调用分支，把同一指针对象连续调用两次或多次，验证函数是否依赖静态缓存或隐式全局状态，很多“只在回归时出现”的问题都在这里暴露。

　　二、TESSY单元测试指针输入如何构造

　　指针输入构造的目标，是让指针指向的对象在单元测试里可控、可重复、可复核。思路上先确定你需要的内存形态，再把对象初始化写成用例数据的一部分，最后把指针与对象绑定起来。

　　1、先选定三种最常用的指针输入构造形态

　　(1)固定大小缓冲区形态，适合uint8_t*、char*这类指针，做法是先定义一块固定长度数组作为被指向对象，再在用例中写入数组初值；

　　(2)结构体对象形态，适合struct*，做法是把结构体按字段初始化，关键字段明确给值，非关键字段统一清零，避免随机初值引发分支漂移；

　　(3)指针数组或二级指针形态，适合char**这类场景，做法是先准备“指针数组本体”，再分别准备每个元素指向的字符串或缓冲区，并在用例里明确每个元素是否为NULL。

　　2、在用例层把“指向的对象”当作第一等数据来管理

　　(1)为每条用例单独准备输入缓冲区与输出缓冲区，尽量不要多条用例复用同一块内存，避免上一条用例残留数据影响下一条；

　　(2)对输出缓冲区先写入哨兵值再执行，用例结束后同时验证“返回码正确”和“哨兵是否被越界破坏”，这样更容易发现写越界；

　　(3)对输入缓冲区用等价类初始化，例如全0、全0xFF、递增序列、包含特定控制字符的字符串，让分支触发更可控。

　　3、把NULL与有效地址的切换做成明确用例，而不是临时改一改

　　(1)空指针用例要成套出现，至少包含输入指针为NULL、输出指针为NULL、外层指针为NULL、内层指针为NULL四类，否则二级指针问题很容易漏；

　　(2)有效指针用例要覆盖最小对象与最大对象，缓冲区至少要有长度为1、长度为边界值、长度为边界值加一三类，便于验证截断与错误码分支；

　　(3)当函数要求“指针非空且长度非0”时，把违反条件的用例作为参数校验用例单独维护，后续回归一旦参数校验逻辑改动，这组用例能第一时间报出差异。

　　4、遇到动态内存与生命周期问题时，用“初始化与清理”固定住

　　(1)如果被测函数会缓存指针或把指针保存到全局结构里，单元测试用例必须在结束阶段做状态清理或重置相关全局变量，否则下一条用例可能在旧指针上继续写；

　　(2)如果函数依赖外部分配器或OS接口，建议用桩函数把分配与释放行为变成可控返回，至少能模拟分配失败与返回NULL的场景；

　　(3)对二级指针输出场景，明确由谁分配、由谁释放，单元测试用例里要验证失败路径是否保持输出指针为NULL，避免悬挂指针。

　　三、TESSY单元测试指针越界怎么预防与排查

　　单元测试指针最难追的错误往往是越界与内存污染，因为它可能不在当条用例立刻崩溃，而是在后续某条用例或回归时才表现为随机失败。把预防与排查做成固定动作，集体效率会明显提升。

　　1、用哨兵与边界检查把越界变成“立刻可见”

　　(1)输出缓冲区前后放置固定哨兵值，执行后同时检查哨兵是否变化，变化就说明有越界写入；

　　(2)对字符串输出场景，强制验证终止符位置是否在允许范围内，避免写出界后仍“看起来像字符串”；

　　(3)对结构体数组场景，验证最后一个元素后哨兵是否被破坏，越界通常发生在循环边界或长度判断上。

　　2、把状态残留当作高优先级风险处理

　　(1)用例间统一清零输出区与关键全局状态，必要时在每条用例开始阶段做一次初始化，结束阶段做一次重置；

　　(2)对静态缓存与单例对象，建议单独做一组“重复调用”用例，验证第一次调用后状态是否会影响第二次分支；

　　(3)出现偶发失败时，先做“单用例独跑”与“全量回归”对比，若独跑稳定、全量不稳定，优先怀疑内存污染与状态残留。

　　3、把错误定位线索收敛到最小失败对象

　　(1)一旦出现单元测试指针相关崩溃，先把用例输入缩到最小，逐步增加长度或复杂度，找到触发越界的最小条件组合；

　　(2)对二级指针问题先拆外层再拆内层，先固定外层数组长度，再逐个验证内层元素为NULL、为空串、为边界长度字符串的差异；

　　(3)对“返回码正确但数据异常”的问题，优先检查是否写入了错误地址或错位地址，例如结构体对齐与指针类型不匹配导致的字段错写。

　　总结

　　TESSY单元测试指针怎么测，TESSY单元测试指针输入如何构造，落地的关键是三件事：先按指针角色与层级把用例拆开，覆盖NULL、边界、异常联动与重复调用，让单元测试指针分支触发可解释；再把指针指向的对象当作用例数据来构造与初始化，保证内存形态可控、生命周期清晰、用例间不互相污染；最后用哨兵与固定清理动作把越界与内存污染提前暴露并稳定复现，单元测试指针问题才能从偶发难追变成按流程可定位。