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

1

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

1范围

本标准依据国家法规导则、参考国内/国际标准、结合在核电厂安全级数字化仪控系统软件开发过程中的验证与确认经验制定，规定了核电厂安全级软件VV活动可追溯性分析的内容、过程和方法，适用于指导开展核电厂安全级软件可追溯性分析工作。

2规范性引用文件

下列文件中的内容通过文中的规范性引用而构成本文件必不可少的条款。其中，注日期的引用文件，仅该日期对应的版本适用于本文件；不注日期的引用文件，其最新版本（包括所有的修改单）适用于本

文件。

NB/T20448-2017NB/T20054-2011NB/T20055-2011NB/T20300-2014

发

核电厂系统和软件的验证和确认

核电厂安全重要仪表和控制系统执行A类功能的计算机软件核电厂安全重要仪控系统实施B、C类功能计算机软件

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

3术语和定义

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

3.1

可追溯性traceability

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

[本文定义]

3.2

关键性criticality

需求、模块、错误、故障、失效或其它项对系统的开发或运行影响的程度。[NB/T20448-2017，定义3.1.8]

3.3

软件完整性级别Integritylevel

表示项目独特特性（例如，软件的复杂性、关键性、风险、安全级别、安全保密级别、期望的性能、可靠性）的值，定义了软件对用户的重要性。

[NB/T20448-2017，定义3.1.16]

2

3.4

追溯元素trackingelements

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

[本文定义]

3.5

依据项basisitems

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

3.6

追溯项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可追溯性分析的内容

3

标准NB/T20448-2017规定软件生命周期相关的VV活动、阶段和以及阶段任务，可追溯性分析是其任务之一，各个阶段可追溯性分析包含内容如下：

6.1软件概念VV活动的可追溯性分析

软件概念VV活动的可追溯性分析要求如下：

要完成软件系统需求（作为依据文件，依据项颗粒度为相对独立的系统功能项、性能项或接口项）与软件系统设计（作为追溯文件，追溯项颗粒度为相对独立的系统设计项和接口项）间的可追溯性分析。

要分析依据项与追溯项之间正确性、一致性、完备性与准确性关系。

要输出概念VV活动可追溯性分析报告、概念VV活动可追溯性异常报告、概念VV活动可追溯性分析矩阵。

6.2软件需求VV活动的可追溯性分析

软件需求VV活动的可追溯性分析要求如下：

要完成软件系统设计（作为依据文件，依据项颗粒度为相对独立的系统设计项和接口项）与软件需求（作为追溯文件，追溯项颗粒度为相对独立的软件功能项、性能项或接口项）间的可追溯性分析。

要分析依据项与追溯项之间正确性、一致性、完备性与准确性关系。

要输出需求VV活动可追溯性分析报告、需求VV活动可追溯性异常报告、需求VV活动可追溯性分析矩阵