T/JSSAE 011-2025 汽车电子功能安全软件测试及评价方法

ICS43.040

T35

团体标准

T/JSSAE011—2025

汽车电子功能安全软件测试及评价方法

Testingandevaluationmethodsforautomotiveelectronicfunctional

safetysoftware

2025-11-19发布2025-11-30实施

江苏省汽车工程学会发布

T/JSSAE011—2025

目次

前言...........................................................................III

1范围..........................................................................1

2规范性引用文件................................................................1

3术语和定义....................................................................1

4软件单元验证..................................................................2

4.1模型单元验证..............................................................2

4.1.1模型静态分析..........................................................2

4.1.2模型质量度量..........................................................3

4.1.3模型走查..............................................................3

4.1.4模型审查..............................................................3

4.1.5基于需求的测试........................................................3

4.1.6接口测试..............................................................4

4.1.7故障注入测试..........................................................4

4.1.8背靠背测试............................................................4

4.1.9资源使用评估..........................................................4

4.1.10结构覆盖率统计.......................................................5

4.2代码单元验证..............................................................5

4.2.1静态代码分析..........................................................5

4.2.2代码质量度量..........................................................5

4.2.3代码走查..............................................................5

4.2.4代码审查..............................................................6

4.2.5基于需求的测试........................................................6

4.2.6接口测试..............................................................6

4.2.7故障注入测试..........................................................6

4.2.8资源使用评估..........................................................6

4.2.9结构覆盖率统计........................................................7

5软件集成验证..................................................................7

5.1模型集成验证..............................................................7

5.1.1模型静态分析..........................................................7

5.1.2基于需求的测试........................................................7

5.1.3接口测试..............................................................7

5.1.4故障注入测试..........................................................7

5.1.5背靠背测试............................................................8

5.1.6结构覆盖率统计........................................................8

5.2代码集成验证..............................................................8

5.2.1集成静态分析..........................................................8

5.2.2基于需求的测试........................................................8

5.2.3接口测试..............................................................9

5.2.4故障注入测试..........................................................9

I

T/JSSAE011—2025

5.2.5资源使用评估..........................................................9

5.2.6结构覆盖率测试........................................................9

6嵌入式软件测试...............................................................10

6.1基于需求的测试...........................................................10

6.2故障注入测试.............................................................10

附录A（资料性）模型审查单示例..................................................11

附录B（资料性）代码审查单示例..................................................12

附录C（资料性）常见的故障类型及故障注入示例....................................13

II

T/JSSAE011—2025

前言

本文件按照GB/T1.1—2020《标准化工作导则第1部分：标准化文件的结构和起草规则》的规定

起草。

请注意本文件的某些内容可能涉及专利。本文件的发布机构不承担识别专利的责任。

本文件由江苏省汽车工程学会提出。

本文件起草单位：中汽院（江苏）汽车工程研究院有限公司、中国汽车工程研究院股份有限公司、

重庆青山工业有限责任公司、重庆大学、江苏天安智联科技股份有限公司、无锡车联天下信息技术有限

公司、延锋伟世通电子科技（南京）有限公司。

本文件主要起草人：雷剑梅、孟璋劼、卢凡、韩松、范开伟、余处和、田甜、李庆庆、杨雷、韩庆

文、龚静、陈冬梅、谭凯、赵泽蛟、刘柳、宋朴萱、王维、陈婉枫、张瑞平、雷灿、谭浩然、姚银花。

本文件为首次发布。

III

T/JSSAE011—2025

汽车电子功能安全软件测试及评价方法

1范围

本标准规定了汽车电子功能安全软件在单元验证阶段、集成验证阶段及嵌入式软件测试阶段

的测试及评价方法，用于指导汽车电子功能安全软件测试及评价的具体实施。

本标准适用于按照GB/T34590.6-2022开发的软件，不是按照GB/T34590.6-2022开发的软

件可参照执行。

2规范性引用文件

下列文件中的内容通过文中的规范性引用而构成本文件必不可少的条款。其中，注日期的引

用文件，仅该日期对应的版本适用于本文件；不注日期的引用文件，其最新版本（包括所有的修

改单）适用于本文件。

GB/T34590.1-2022道路车辆功能安全第1部分：术语

GB/T34590.6-2022道路车辆功能安全第6部分：产品开发：软件层面

3术语和定义

GB/T34590.1-2022界定的以及下列术语和定义适用于本文件。

3.1

功能安全软件functionalsafetysoftware

按照GB/T34590.6-2022开发的,ASIL等级为A至D的软件。

3.2

结构覆盖率structuralcoverage

度量测试用例执行对程序源代码内部逻辑结构（如语句、分支等）覆盖程度的指标。

3.3

分支覆盖率branchcoverage

在测试中,已执行计算机程序的控制流分支所占的比率。

注1:100%分支覆盖率意味着100%语句覆盖率(3.160)，反之则不成立。

注2:一个if语句总有两个分支,即条件为true和条件为false,不依赖于else语句是否存在。

[来源：GB/T34590.1-2022，3.13，有修改]测试用例执行对程序源代码内部逻辑结构（如语

句、分支等）覆盖程度的指标。

3.4

语句覆盖率statementcoverage

软件中已执行语句所占的百分比。

[来源：GB/T34590.1-2022，3.160]

3.5

修改条件/判定覆盖率modifiedcondition/decisioncoverage;MC/DC

在控制流中已执行的、可以独立影响判定结果的全部单一条件结果的百分比。

注:MC/DC是一种建立在分支覆盖率之上的代码覆盖率分析。因此,它也要求所有的代码块和所有的执行路径

都经过测试。

1

T/JSSAE011—2025

[来源：GB/T34590.1-2022，3.92]

3.6

走查walk-through

为了发现安全异常,对工作成果的系统性检查。

注1:走查是验证的一种方法，包括代码走查及模型走查。

注2:走查和测试的区别在于,走查通常不涉及相关项或要素的运行。

注3:被发现的任何异常通常通过重做来处理,并对重做的工作成果进行走查。

示例:在走查过程中,开发者向一个或多个评审员逐步地阐述工作成果。其目的是建立对工作成果的共同理

解和识别工作成果中的任何安全异常。审查和走查均属于同级评审,其中走查的严格性弱于审查。

[来源：GB/T34590.1-2022，3.182，有修改]

3.7

审查inspection

为发现安全异常而依据一个正式的流程对工作成果进行的考查。

注1:检查是验证的一种方式，包括代码审查及模型审查。

注2:检查不同于测试检查通常不包括对相关项或要素的操作。

注3:一项正式的检查流程通常包括预先定义的步骤、检查列表、核对人员及对结果的评审。

[来源：GB/T34590.1-2022，3.82，有修改]

3.8

故障注入faultinjection

评估要素内故障影响的方法,该方法通过注入故障、错误或失效从而通过观测点对注入后的

响应进行观测。

注:故障注入可以在不同的抽象层面进行,包括相关项层面或要素层面,这取决于范围、可行性、可观测性和

所需细节的层面。取决于目的,可以在安全生命周期的不同阶段,考虑不同的故障模型,进行故障注入。

示例1:在运行期间注入故障以验证作为探测潜伏故障策略一部分的某个安全机制正在正常工作。

示例2:在进行集成测试时,通过硬件调试端口或专用软件命令注入故障来测试软硬件接口。示例3:在硬件组

件层面对卡滞故障或瞬态故障进行仿真,以验证安全机制的诊断覆盖率,或识别出可引起错误或失效故障。

[来源：GB/T34590.1-2022，3.57]

4软件单元验证

4.1模型单元验证

4.1.1模型静态分析

测试方法

应在模型在环测试环境中，使用模型静态分析工具对被测软件模型进行静态扫描，以检查建

模规范符合性和运行时错误，并统计建模规范符合性缺陷及运行时错误的数量。

注1：选用的模型静态分析工具应具备控制流分析、数据流分析、形式化验证等能力（参见GB/T34590.6-

2022中相关要求）。

注2：常见的建模规范有MathWorksAutomotiveAdvisoryBoard、Matlab-High-Integrity-Modelling-

Guideline等，企业可在参考行业通用规范（如前述）的基础上，依据具体项目需求，定义或裁剪适

用的建模规范集。

注3：常见的模型运行时错误有死代码、数组越界、整数或定点数据溢出、除数为零等错误。

2

T/JSSAE011—2025

评价方法

完成测试后，应满足：

(a)运行时错误的数量为0；

(b)建模规范符合性缺陷的数量为0。

4.1.2模型质量度量

测试方法：

应在模型在环测试环境中，采用模型度量工具对被测软件模型进行静态扫描，统计以下指标：

a)子系统数量；

b)子系统深度；

c)模块数量；

d)圈复杂度；

e)输入/输出接口数量。

注1：企业可根据自身的开发需求对模型度量指标进行扩充及调整。

评价方法：

完成测试后，度量的指标应符合企业定义