ICS35080

CCSL.77

團體標準

T/CCAA93—2024

軌道交通安全軟件白盒測試技術要求

Technologicalrequirementsforwhiteboxtestingofrailtransit

safety-relatedsoftware

2024-09-02發(fā)布2024-09-02實施

中國認證認可協(xié)會發(fā)布

中國標準出版社出版

T/CCAA93—2024

目次

前言

…………………………Ⅲ

范圍

1………………………1

規(guī)范性引用文件

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

術語和定義

3………………1

縮略語

4……………………2

一般性要求

5………………2

測試目的

5.1……………2

輸入文件

5.2……………2

輸出文件

5.3……………3

測試用例的編寫和要素

5.4……………3

測試內(nèi)容及測試方法

6……………………4

靜態(tài)測試

6.1……………4

單元測試

6.2……………4

集成測試

6.3……………5

附錄資料性軌道交通安全軟件靜態(tài)測試檢查

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

附錄資料性軌道交通安全軟件單元測試用例

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

語句覆蓋率測試用例

B.1………………12

分支覆蓋率測試用例

B.2………………12

測試用例

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

附錄資料性軌道交通安全軟件集成測試策略

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

參考文獻

……………………16

Ⅰ

T/CCAA93—2024

前言

本文件按照標準化工作導則第部分標準化文件的結構和起草規(guī)則的規(guī)定

GB/T1.1—2020《1:》

起草

。

請注意本文件的某些內(nèi)容可能涉及專利本文件的發(fā)布機構不承擔識別專利的責任

。。

本文件由中國認證認可協(xié)會提出并歸口

。

本文件起草單位中鐵檢驗認證中心有限公司中國鐵道科學研究院集團有限公司卡斯柯信號有

:、、

限公司湖南中車時代通信信號有限公司上海工業(yè)控制安全創(chuàng)新科技有限公司青島海信微聯(lián)信號有

、、、

限公司北京和利時系統(tǒng)工程有限公司中國中車株洲電力機車研究所有限公司固安信通信號技術股

、、、

份有限公司廣州鐵科智控有限公司

、。

本文件主要起草人陳黎潔高鶯唐武梅任穎劉莉包丹珠楊雨菡李樂張溢斌王艷麗

:、、、、、、、、、、

李洪飛戴悅蔡濤周燦梅黃文靜陳曄史寧娟

、、、、、、。

Ⅲ

T/CCAA93—2024

軌道交通安全軟件白盒測試技術要求

1范圍

本文件規(guī)定了軌道交通領域中對于要求達到安全完整性等級的軟件在進行白盒測試時宜

,(SIL),

遵循的技術要求和測試方法

。

本文件適用于以等編譯性語言開發(fā)的軌道交通安全

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

軟件

。

2規(guī)范性引用文件

下列文件中的內(nèi)容通過文中的規(guī)范性引用而構成本文件必不可少的條款其中注日期的引用文

。,

件僅該日期對應的版本適用于本文件不注日期的引用文件其最新版本包括所有的修改單適用于

,;,()

本文件

。

信息技術軟件工程術語

GB/T11457—2006

計算機軟件測試規(guī)范

GB/T15532—2008

軌道交通通信信號和處理系統(tǒng)控制和防護系統(tǒng)軟件

GB/T28808—2021、

EN50716—2023RailwayApplications-Requirementsforsoftwaredevelopment

3術語和定義

和界定的以及下列術語和定義適用于本文件

GB/T11457—2006GB/T28808—2021。

31

.

安全完整性等級safetyintegritylevel

所定義的多個離散級別中的一個用于指明分配給安全相關系統(tǒng)的安全相關功能的安全完整性

,

要求

。

注將安全相關軟件分為五個安全完整性等級基本完整性為最低等級為最高等級

:,,4。

來源

[:EN50716—2023,3.1.26]

32

.

白盒測試whiteboxtesting

側重于系統(tǒng)或部件內(nèi)部機制的測試類型包括分支測試路徑測試語句測試