核电站数字化仪控系统软件验证和确认实用手册PDF电子书下载

第一章 绪论 2

1．1 进行软件V&V的必要性 2

1．2 V&V导则（美国监管导则，IEEE Std 1012） 3

1．3 V&V概述 4

第二章 V&V监管导则和IEEE标佳要求 7

2．1 V&V指导文件和它们间的层次关系 7

2．2 管理导则及IEEE标准 9

2．2．1 联邦法规10CFR50附录B 9

2．2．2 技术分支BTP 7-14 9

2．2．3 联邦导则和IEEE标准 12

2．2．4 10 CFR附录B和V&V 16

第三章 V&V组织机构要求 18

3．1 典型的V&V组织机构 18

3．2 V&V机构的组织形式 19

3．2．1 独立的V&V小组 19

3．2．2 嵌入在系统开发中的V&V小组 20

3．2．3 嵌入在质保中的V&V小组 20

3．2．4 嵌入在用户小组中的V&V小组 21

3．3 独立V&V 21

第四章 V&V生存周期过程（V模型） 24

4．1 V&V方法 24

4．1．1 设计审查和验证 25

4．1．2 源代码审查和逐项校对 26

4．1．3 分析 29

4．1．4 测试 35

4．1．5 指标 37

4．2 生存周期过程 39

4．2．1 软件生存周期过程 39

4．2．2 软件生存周期中应用V&V 41

4．3 V模型 53

4．3．1 软件组件测试 55

4．3．2 软件集成测试 56

4．3．3 系统集成测试 56

4．3．4 系统测试 56

4．3．5 出厂验收测试 57

第五章 V&V实例演练 59

5．1 核电站仪控系统和系统分解 59

5．2 V模型实例演练 61

第六章 V&V计划纲要和汇报要求 67

6．1 V&V计划纲要 67

6．1．1 确定V&V范围 68

6．1．2 从项目范围建立具体目标 68

6．1．3 在选择V&V工具、技术和准备计划之前分析项目输入 68

6．1．4 选择工具和技术 69

6．1．5 计划开发 70

6．2 V&V报告要求 73

6．2．1 V&V报告要求 73

6．2．2 V&V报告内容 74

参考文献 78