《核电厂安全级软件可追溯性分析技术规范》（征求意见稿）.pdf

T/XXXXXXX—XXXX

核电厂安全级软件可追溯性分析技术规范

1范围

本标准依据国家法规导则、参考国内/国际标准、结合在核电厂安全级数字化仪控系统软件开发过

程中的验证与确认经验制定，规定了核电厂安全级软件VV活动可追溯性分析的内容、过程和方法，适

用于指导开展核电厂安全级软件可追溯性分析工作。

2规范性引用文件

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

仅该日期对应的版本适用于本文件；不注日期的引用文件，其必威体育精装版版本（包括所有的修改单）适用于本

文件。

NB/T20448-2017核电厂系统和软件的验证和确认

NB/T20054-2011核电厂安全重要仪表和控制系统执行A类功能的计算机软件

NB/T20055-2011核电厂安全重要仪控系统实施B、C类功能计算机软件

NB/T20300-2014核电厂安全重要仪表和控制系统执行A类功能的HDL可编程集成电路开

发

3术语和定义

下列术语和定义适用于本文件。

可追溯性traceability

开发过程中两个或多个产品之间可以建立的关联的程度，特别是与其他产品有前驱、后继或主次关

系的产品。

[本文定义]

关键性criticality

需求、模块、错误、故障、失效或其它项对系统的开发或运行影响的程度。

[NB/T20448-2017，定义3.1.8]

软件完整性级别Integritylevel

表示项目独特特性（例如，软件的复杂性、关键性、风险、安全级别、安全必威体育官网网址级别、期望的性能、

可靠性）的值，定义了软件对用户的重要性。

[NB/T20448-2017，定义3.1.16]

1

T/XXXXXXX—XXXX

追溯元素trackingelements

系统需求、系统设计、软件需求、软件设计、软件实现和软件测试的内容，按一定颗粒度标记为不

同的追溯元素。

[本文定义]

依据项basisitems

当前VV活动的上游文件是可追溯性分析的依据文件，依据文件的追溯元素作为依据项。

[本文定义]

追溯项trackingitems

当前VV活动的输入文件是可追溯性分析的追溯文件，追溯文件中的追溯元素作为追溯项。

[本文定义]

4缩略语

下列缩略语适用于本文件。

VVVerificationandValidation验证与确认

5可追溯性分析一般要求

可追溯性分析的目的是验证软件开发生命周期中相邻的两个开发活动输出的研发产品之间、研发产

品与测试设计之间、测试设计与测试用例之间的追溯关系，从而确保最终产品实现要求的所有功能，并

且没有实现多余功能。通过可追溯性分析，也为其它VV任务提供了可信的工作基础。可追溯性分析

一般要求如下：

[1]可追溯性分析工作可由软件完整性级别确定，根据NB/T20448-2017标准规定，软件完整性级

别为2、3、4都要执行可追溯性分析；

[2]可追溯性分析人员独立于研发人员，独立性整体要满足标准NB/T20448-2017的要求。

[3]可追溯性分析工作执行中可以借助可追溯性分析工具（详见附录A），可追溯性分析工具质量

要满足NB/T20054-2011（应用A类软件对应完整性级别4的VV工作）、NB/T20300-2014或

NB/T20055-2011（应用B、C类软件对应完整性级别3、2或1的VV工作）的要求。

6可追溯性分析的内容

2