| 摘要 | 第5-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第11-17页 |
| 1.1 课题背景及意义 | 第11-12页 |
| 1.2 研究验证与确认技术的重要意义 | 第12页 |
| 1.3 安全级软件V&V 标准及过程 | 第12-16页 |
| 1.3.1 验证 | 第13页 |
| 1.3.2 确认 | 第13页 |
| 1.3.3 安全级软件V&V 的过程 | 第13-16页 |
| 1.4 本论文的主要内容 | 第16-17页 |
| 第二章 安全级软件的需求验证 | 第17-24页 |
| 2.1 安全级软件的需求说明 | 第17-18页 |
| 2.2 安全级软件的需求验证方法 | 第18-23页 |
| 2.2.1 Telelogic DOORs 需求管理工具功能介绍 | 第18-19页 |
| 2.2.2 安全级软件需求数据库的创建 | 第19-21页 |
| 2.2.3 基于模块的需求验证举例 | 第21-23页 |
| 2.3 本章小结 | 第23-24页 |
| 第三章 应用程序的测试 | 第24-39页 |
| 3.1 应用程序概况 | 第24-31页 |
| 3.1.1 安全目标 | 第25页 |
| 3.1.2 I&C 功能的分配 | 第25-26页 |
| 3.1.3 逻辑图 | 第26-29页 |
| 3.1.4 函数模块图 | 第29-31页 |
| 3.2 应用程序中函数模块的白箱测试 | 第31-36页 |
| 3.2.1 白箱测试覆盖策略研究 | 第31-32页 |
| 3.2.2 取次大函数模块白箱测试举例 | 第32-36页 |
| 3.3 应用程序中I&C 功能的黑箱测试 | 第36-38页 |
| 3.3.1 黑箱测试用例设计研究 | 第36-37页 |
| 3.3.2 I&C 功能黑箱测试举例分析 | 第37-38页 |
| 3.4 本章小结 | 第38-39页 |
| 第四章 硬件程序的测试 | 第39-52页 |
| 4.1 形式验证的主要内容 | 第39-41页 |
| 4.2 模型验证的理论基础 | 第41-46页 |
| 4.2.1 系统建模 | 第41-42页 |
| 4.2.2 设计规范 | 第42-44页 |
| 4.2.3 验证算法 | 第44-46页 |
| 4.3 模型验证在硬件测试中的应用 | 第46-51页 |
| 4.4 本章小结 | 第51-52页 |
| 第五章 安全级软件的系统确认 | 第52-63页 |
| 5.1 系统确认的准备工作 | 第52-55页 |
| 5.1.1 保护系统原理样机结构简图 | 第52-53页 |
| 5.1.2 信号源 | 第53-54页 |
| 5.1.3 结果显示 | 第54-55页 |
| 5.2 系统确认的具体实施 | 第55-62页 |
| 5.2.1 模拟量和开关量信号源传送正确性确认 | 第55-57页 |
| 5.2.2 RCP 停堆的功能确认 | 第57-58页 |
| 5.2.3 LOCA 的功能确认 | 第58-60页 |
| 5.2.4 低压安注的功能确认 | 第60-62页 |
| 5.3 本章小结 | 第62-63页 |
| 第六章 结束语 | 第63-64页 |
| 6.1 总结 | 第63页 |
| 6.2 展望 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 致谢 | 第67-68页 |
| 攻读硕士学位期间已发表或录用的论文 | 第68-70页 |