TESSY中文网站 > 使用教程 > ISO 26262单元测试怎么做 TESSY如何输出单元测试证据
ISO 26262单元测试怎么做 TESSY如何输出单元测试证据
发布时间:2026/06/01 10:01:37

  ISO 26262单元测试怎么做,TESSY如何输出单元测试证据,落到项目里其实是在做一件事:把软件单元层面的测试与单元测试做得既能拦缺陷,又能留下可复核、可追溯的证据包,评审时说得清“测了什么、怎么测的、结果对应哪一版代码、覆盖是否达标”。下面先把ISO 26262语境下单元测试该怎么做讲清,再把用TESSY输出单元测试证据的动作落到位,最后补上证据闭环的做法,保证回归测试长期可审计。

 

  一、ISO 26262单元测试怎么做

 

  ISO 26262下做单元测试,重点不是用例数量,而是测试对象、需求追溯、依赖隔离与覆盖口径四件事要一致,测试结论才能被复核、被复用。

  1、先把被测单元与需求来源定清

 

  (1)按软件架构与软件单元划分确定被测范围,明确到函数接口、全局变量、依赖调用与外部资源访问点,避免把集成行为混进单元测试;

 

  (2)为软件单元需求或详细设计约束建立稳定编号,后续每条测试用例与测试结果都要回指该编号,保证可追溯;

 

  (3)把依赖隔离方案写在测试策略里,哪些调用用桩替代,哪些输入通过注入控制,哪些状态作为前置条件固定,避免执行时口径漂移。

 

  2、按需求驱动设计用例,优先覆盖高风险路径

 

  (1)把需求拆成可验证条目,每条至少对应一组测试用例,用例写清输入、期望输出与判定点,避免只看日志或只看是否崩溃;

 

  (2)围绕接口与鲁棒性补齐边界与异常路径,如空指针、长度为0、最大最小值、溢出边界、非法枚举值、错误码分支、资源不足与超时路径,提高单元测试拦截率;

 

  (3)对状态机、重试、缓存等时序逻辑,把关键状态迁移拆成多条用例分别验证,确保失败能定位到具体条件组合。

 

  3、把依赖隔离做成可验证行为

 

  (1)桩函数不只是返回值替身,还要能校验入参、统计调用次数,必要时校验调用顺序,单元测试才能验证接口契约;

 

  (2)对外部变量、硬件访问、OS服务等隐式依赖,优先封装为可注入输入,让测试用例控制数据源,减少偶发失败与环境耦合;

 

  (3)对确实难隔离的依赖点,给出限制说明与补救动作,例如上移到集成测试或提供受控替身环境,保证测试策略可解释。

 

  4、用结构覆盖证明测试强度并纳入通过门槛

 

  (1)在计划中明确覆盖口径并保持项目统一,例如语句覆盖、分支覆盖或更严格口径,避免不同模块不可比较;

 

  (2)覆盖不足要形成补测清单,优先补关键分支与异常路径,让覆盖提升对应真实风险下降;

 

  (3)把覆盖结果纳入门槛管理,用例全通过但覆盖不足仍视为未达标,避免单元测试变成形式化绿灯。

 

  二、TESSY如何输出单元测试证据

 

  TESSY输出单元测试证据的关键,是把“执行口径”和“证据口径”绑定为固定流程,让每次运行都能沉淀同一结构的证据包,回答评审常问的范围、追溯、结果与覆盖四类问题。

  1、先把TESSY测试环境配置成可复现口径

 

  (1)按模块建立测试工程与测试对象,命名与代码目录结构一致,便于把证据回指到软件单元;

 

  (2)对齐编译器版本、目标架构、语言标准与关键宏定义,把真实构建使用的关键选项写入配置,避免测试口径与交付口径分离;

 

  (3)补齐头文件路径、库路径与链接设置后先跑一次最小执行,确认测试应用可稳定构建与运行。

 

  2、在TESSY里把桩与注入规则固化并可审计

 

  (1)为外部调用建立桩策略,明确哪些接口要校验入参、哪些要控制返回值、哪些要统计调用次数,把规则做成可复用模板减少口径不一致;

 

  (2)对环境输入与外部变量用可注入方式在测试数据中控制输入,减少依赖真实硬件或系统服务导致的不可复现;

 

  (3)对状态与时序依赖逻辑,把前置条件固化为用例初始化步骤或前置用例,保证每次回归从同一初始状态出发。

 

  3、建立需求到用例的追溯,并输出结果与覆盖证据

 

  (1)在用例层把需求编号与测试用例建立关联,确保可以按需求查看单元测试通过失败状态;

 

  (2)固定执行配置与用例集合,回归时以同一基线集合为入口,新增用例放入变更回归集,保证不同版本结果可比;

 

  (3)执行后输出用例明细与汇总结果,同时输出覆盖报告并保留覆盖口径说明,确保结果与覆盖能回指同一次执行与同一代码版本。

 

  4、把报告与关键配置打包成版本证据包

 

  (1)证据包至少包含测试对象清单、用例通过失败汇总、失败明细与必要日志片段,保证复核无需重跑即可定位;

 

  (2)同时归档关键配置快照,如编译器与参数、工具版本、桩配置与需求映射信息,确保证据具备复现条件;

 

  (3)按构建号或提交号统一归档目录,形成版本级证据链,便于审计与复盘。

 

  三、ISO 26262单元测试证据如何做到可追溯可复核

 

  很多团队能跑测试也能出报告,但证据链容易在需求变更、工具升级、多人协作时断裂。要把ISO 26262单元测试证据做成闭环,关键是把需求、代码、用例、执行与产物纳入同一套配置管理逻辑,并把回归与输出固化为固定动作。

  1、把追溯链路固定为需求到用例到结果到覆盖

 

  (1)需求编号版本化管理,用例必须回指需求编号,需求变更时同步更新映射关系;

 

  (2)结果与覆盖必须来自同一次执行并能回指到同一代码版本,避免结果与覆盖“来源不一”;

 

  (3)对未覆盖需求、失败用例与覆盖不足形成缺口清单并记录补测动作,让证据不仅展示结果也展示闭环过程。

 

  2、把配置管理做到可复现

 

  (1)测试工程、桩库、测试数据与执行配置纳入版本管理,换人换机仍可复跑;

 

  (2)记录编译器与关键构建参数基线,保证测试口径与交付口径一致或差异可解释;

 

  (3)工具与脚本变更要记录版本与关键配置差异,确保不同周期的回归证据可比。

 

  3、把回归执行与证据输出接入构建链路

 

  (1)构建触发回归测试,失败阻断合入或发布,减少人工触发导致的漏测;

 

  (2)通过门槛同时约束结果与覆盖,避免只看用例通过率;

 

  (3)流水线自动生成并归档证据包,评审拿到构建号即可定位对应证据。

 

  总结

 

  ISO 26262单元测试怎么做,TESSY如何输出单元测试证据,可以落到一条清晰的证据链,最终形成可复核、可复现、可追溯的单元测试证据包。

135 2431 0251