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

Q/LB.□XXXXX-XXXX

PAGE2

ICS

FORMTEXT点击此处添加ICS号

CCS

FORMTEXT?????

FORMTEXT点击此处添加CCS号

FORMTEXT?????团体标准

T/FORMTEXTXXXFORMTEXTXXXX—FORMTEXTXXXX

FORMTEXT?????

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

FORMTEXTSafetyplatformsoftwaretraceabilityanalysistechnicalspecificationfornuclearpowerplant

FORMDROPDOWN

FORMTEXT?????

FORMDROPDOWN

FORMTEXTXXXX-FORMTEXTXX-FORMTEXTXX发布

FORMTEXTXXXX-FORMTEXTXX-FORMTEXTXX实施

FORMTEXT中国核学会??发布

STYLEREF标准文件_文件编号T/XXXXXXX—XXXX

STYLEREF标准文件_文件编号T/XXXXXXX—XXXX

PAGEIII

目次

TOC\o1-1\h\t标准文件_一级条标题,2,标准文件_二级条标题,3,标准文件_三级条标题,4,标准文件_附录一级条标题,2,标准文件_附录二级条标题,3,标准文件_附录三级条标题,4,前言 III

1范围 1

2规范性引用文件 1

3术语和定义 1

4缩略语 2

5可追溯性分析一般要求 2

6可追溯性分析的内容 2

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

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

6.3软件设计VV活动的可追溯性分析 3

6.4软件构造VV活动的可追溯性分析 3

6.5软件集成测试VV活动的可追溯性分析 4

6.6软件鉴定测试VV活动的可追溯性分析 4

6.7软件验收测试VV活动的可追溯性分析 5

7可追溯性分析方法 5

7.1自下而上追溯 5

7.1.1识追溯项 7

7.1.2特性适用性判断 7

7.1.3追溯项的分类 7

7.1.4处理硬件描述项 7

7.1.5依据项识别 7

7.1.6多余追溯项的处理 7

7.1.7依据项录入 7

7.1.8正确性分析 8

7.1.9一致性分析 8

7.1.10完备性分析 8

7.1.11准确性分析 8

7.1.12综合分析 9

7.1.13提交异常 9

7.2自上而下追溯 9

7.2.1识别依据项 10

7.2.2特性适用性判断 11

7.2.3依据项分类 11

7.2.4处理硬件描述项 11

7.2.5追溯项识别 11

7.2.6丢失追溯项的处理 11

7.2.7追溯项录入 11

7.2.8一致性分析 11

7.2.9完备性分析 12

7.2.10综合分析 12

7.2.11提交异常 12

7.3分析总结 12

附录A（资料性）可追溯性分析工具 13

A.1可追溯性分析工具用途 13

A.2可追溯性分析工具类型 13

A.3可追溯性分析工具验证 14

A.4可追溯性分析工具使用 15

A.5结论 15

附录B（资料性）可追溯性分析记录表 16

B.1自下而上可追溯性分析表 16

B.2自上而下可追溯性分析表 16

附录C（资料性）可追溯性分析异常类型说明 18

C.1违背正确性 18

C.2违背一致性 19

C.3违背完备性 20

C.4违背准确性 21

前言

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

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

本文件由中国核能行业协会提出并归口，技术支持单位为上海核工程研究设计院股份有限公司、核工业标准化研究所、苏州热工研究院有限公司、华能核能技术研究院有限公司。

本标准起草单位：北京广利核系统工程有限公司、生态环境部核与辐射安全中心、中广核研究院有限公司

本标准主要起草人：张亚栋、裴红伟、武方杰、王晓燕、黄君龙、王嫘、张香菊

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

范围

本标准依