T/CCAA 93-2024 轨道交通安全软件白盒测试技术要求

ICS35080

CCSL.77

团体标准

T/CCAA93—2024

轨道交通安全软件白盒测试技术要求

Technologicalrequirementsforwhiteboxtestingofrailtransit

safety-relatedsoftware

2024-09-02发布2024-09-02实施

中国认证认可协会发布

中国标准出版社出版

T/CCAA93—2024

目次

前言

…………………………Ⅲ

范围

1………………………1

规范性引用文件

2…………………………1

术语和定义

3………………1

缩略语

4……………………2

一般性要求

5………………2

测试目的

5.1……………2

输入文件

5.2……………2

输出文件

5.3……………3

测试用例的编写和要素

5.4……………3

测试内容及测试方法

6……………………4

静态测试

6.1……………4

单元测试

6.2……………4

集成测试

6.3……………5

附录资料性轨道交通安全软件静态测试检查

A()……………………8

附录资料性轨道交通安全软件单元测试用例

B()……………………12

语句覆盖率测试用例

B.1………………12

分支覆盖率测试用例

B.2………………12

测试用例

B.3MCDC…………………12

附录资料性轨道交通安全软件集成测试策略

C()……………………14

参考文献

……………………16

Ⅰ

T/CCAA93—2024

前言

本文件按照标准化工作导则第部分标准化文件的结构和起草规则的规定

GB/T1.1—2020《1:》

起草

。

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

。。

本文件由中国认证认可协会提出并归口

。

本文件起草单位中铁检验认证中心有限公司中国铁道科学研究院集团有限公司卡斯柯信号有

:、、

限公司湖南中车时代通信信号有限公司上海工业控制安全创新科技有限公司青岛海信微联信号有

、、、

限公司北京和利时系统工程有限公司中国中车株洲电力机车研究所有限公司固安信通信号技术股

、、、

份有限公司广州铁科智控有限公司

、。

本文件主要起草人陈黎洁高莺唐武梅任颖刘莉包丹珠杨雨菡李乐张溢斌王艳丽

:、、、、、、、、、、

李洪飞戴悦蔡涛周灿梅黄文静陈晔史宁娟

、、、、、、。

Ⅲ

T/CCAA93—2024

轨道交通安全软件白盒测试技术要求

1范围

本文件规定了轨道交通领域中对于要求达到安全完整性等级的软件在进行白盒测试时宜

,(SIL),

遵循的技术要求和测试方法

。

本文件适用于以等编译性语言开发的轨道交通安全

C、C++、C#、JAVA、ADA、IEC61131-3

软件

。

2规范性引用文件

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

。,

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

,;,()

本文件

。

信息技术软件工程术语

GB/T11457—2006

计算机软件测试规范

GB/T15532—2008

轨道交通通信信号和处理系统控制和防护系统软件

GB/T28808—2021、

EN50716—2023RailwayApplications-Requirementsforsoftwaredevelopment

3术语和定义

和界定的以及下列术语和定义适用于本文件

GB/T11457—2006GB/T28808—2021。

31

.

安全完整性等级safetyintegritylevel

所定义的多个离散级别中的一个用于指明分配给安全相关系统的安全相关功能的安全完整性

,

要求

。

注将安全相关软件分为五个安全完整性等级基本完整性为最低等级为最高等级

:,,4。

来源

[:EN50716—2023,3.1.26]

32

.

白盒测试whiteboxtesting

侧重于系统或部件内部机制的测试类型包括分支测试路径测试语句测试

。、、。

来源

[:GB/T11457—2006,2.678]

33

.

测试用例testcase

为某个特定目标例如为演练具体的程序路径或验证对特定需求的依从性而开发的输入执行条

(,)、

件以及预期结果的集合

。

来源定义

[:GB/T25000.51—2016,4.1.18]

34

.

桩stub

一种软件模块的框架或特殊目的的实现它用于开发或测试调用它或依赖于它的模块

a),。

1

T/CCAA93—2024

用来代替软件模块体的计算机程序语句该模块是在别处定义或将在别处定义

b),。

来源有修改

[:GB/T11457—2006,2.1611,]

35

.

单元测试unittesting

独立的硬件或软件单元或相关单元组的测试

。

来源

[:GB/T11457—2006,2.1792]

36

.

函数function

执行特定动作的软件模块由出现在表达式中的名字引用可以接收输入值并返回单一值

,,。

来源有修改

[:GB/T11457—2006,2.657,]

37

.

集成测试integrationtesting

对软件部件组合进行起来的测试以评估各组合部件间的交互

,。

来源有修改

[:GB/T11457—2006,2.788,]

38

.

静态测试statictesting

基于它的格式结构内容或文档评价系统或部件的过程

、、。

来源

[:GB/T11457—2006,2.1577]

39

.

软件单元softwareunit

一段可分开编译的代码

。

来源

[:GB/T11457—2006,2.1538]

310

.

组件component

部件构成系统的部分系统或程序的基本部分组件可以是硬件或软件且可以进一步划分为其他

()。

组件

。

注术语组件和单元常常可以互换使用或在不同的方法中定义作为另一个的子元素取决于上下文这些术

:“”“”,,。

语的关系尚未标准化

。

来源有修改

[:GB/T11457—2006,2.261,]

4缩略语

下列缩略语适用于本文件

:

图形用户界面

GUI:(GraphicalUserInterface)

修正条件判定覆盖率

MCDC:(ModifiedConditionDecisionCoverage)

安全完整性等级

SIL:(SafetyIntegrityLevel)

5一般性要求

51测试目的

.

通过测试来发现软件中的缺陷从而为满足相应软件安全完整性等级的验证和确认提供依据

,。

52输入文件

.

白盒测试输入文件应至少包括以下内容

:

2

T/CCAA93—2024

软件需求规格说明

a);

软件架构规格说明

b);

软件设计规格说明

c);

软件接口规格说明

d);

软件集成测试规格说明

e);

软件组件设计规格说明

f);

软件组件测试规格说明

g);

软件源代码和支持文档

h)。

53输出文件

.

白盒测试输出文件应至少包括以下内容

:

软件组件测试报告

a);

软件集成测试报告

b)。

54测试用例的编写和要素

.

541测试用例的编写

..

编制测试用例的编写应满足以下要求

:

测试用例的设计应保证测试的充分性测试用例的设计应内容完整具有可操作性为了保证

a),,,

测试的充分性一个函数可设计多条测试用例进行测试至少包含以下几个方面

,,:

被测函数中有等价类处理的每一个等价类处理均能被执行到

●,;

被测函数中含有处理的每一个的路径和路径均能被执行到

●switch....case,casedefault;

被测接口函数有返回值的其所有的返回值的路径都至少要集成一次在同一集成路径无

●,,

法完成全部测试的增加其他集成路径直至测试完其所有的返回值

,,。

测试用例的设计应保证测试用例执行的可重复性

b)。

测试用例的设计应兼顾测试的效率

c)。

测试用例应覆盖测试范围内的全部函数包括接口函数

d),。

542测试用例要素

..

测试用例应包括以下要素

:

用例标识每个测试用例具有唯一的名称和标识

a):;

被测对象简要描述被测对象如函数的功能等

b):,;

测试追踪说明测试依据的需求

c):;

测试用例描述描述一个测试的基本测试思路

d):;

测试方法可包括等价类边界值错误推测法结构性测试等

e):、、