第一章 绪论 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