| 致谢 | 第5-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-8页 |
| 1 引言 | 第12-20页 |
| 1.1 选题背景及意义 | 第12-15页 |
| 1.1.1 列控系统概述 | 第12-13页 |
| 1.1.2 安全计算机平台测试的重要性 | 第13-15页 |
| 1.2 国内外研究现状 | 第15-17页 |
| 1.2.1 国内外研究现状分析 | 第15-17页 |
| 1.2.2 研究现状总结 | 第17页 |
| 1.3 论文的组织结构 | 第17-18页 |
| 1.4 本章小结 | 第18-20页 |
| 2 安全苛求系统混合测试方法研究 | 第20-40页 |
| 2.1 测试理论 | 第20-21页 |
| 2.1.1 白盒测试、灰盒测试和黑盒测试 | 第20页 |
| 2.1.2 基于需求的测试(Requirements-based testing) | 第20-21页 |
| 2.2 混合测试方法 | 第21-23页 |
| 2.2.1 混合测试方法概述 | 第21页 |
| 2.2.2 混合测试方法关键技术概述 | 第21-23页 |
| 2.3 混合测试方法关键技术研究 | 第23-38页 |
| 2.3.1 系统需求的提取 | 第23-25页 |
| 2.3.2 构建系统可追综性信息流 | 第25-29页 |
| 2.3.3 模型转换 | 第29-33页 |
| 2.3.4 系统需求追踪和结构覆盖率分析方法 | 第33-37页 |
| 2.3.5 系统自动测试和需求覆盖率分析方法 | 第37-38页 |
| 2.4 本章小结 | 第38-40页 |
| 3 安全计算机平台混合测试方法的应用 | 第40-78页 |
| 3.1 下一代列控安全计算机平台 | 第40-42页 |
| 3.2 安全计算机平台测试流程 | 第42-43页 |
| 3.3 安全计算机平台功能划分和需求提取 | 第43-45页 |
| 3.4 安全计算机平台可追综性信息流构建 | 第45-52页 |
| 3.4.1 构建安全计算机平台用例图 | 第46-47页 |
| 3.4.2 安全计算机平台类图 | 第47-51页 |
| 3.4.3 安全计算机平台状态图 | 第51页 |
| 3.4.4 安全计算机平台需求数据结构编制 | 第51-52页 |
| 3.5 安全计算机平台UML模型与NuSMV模型转换 | 第52-62页 |
| 3.5.1 构建UML元模型 | 第53-57页 |
| 3.5.2 构建NuSMV元模型 | 第57-59页 |
| 3.5.3 UML与NuSMV模型转换规则 | 第59-61页 |
| 3.5.4 基于Eclipse的ATL插件的模型转换 | 第61-62页 |
| 3.6 XMI模型解析 | 第62-63页 |
| 3.7 安全计算机平台测试序列自动生成 | 第63-64页 |
| 3.8 安全计算机平台混合测试方法应用实例 | 第64-75页 |
| 3.9 本章小结 | 第75-78页 |
| 4 安全计算机平台测试系统设计与实现 | 第78-94页 |
| 4.1 测试工装设计 | 第78-79页 |
| 4.2 安全计算机平台测试软件设计 | 第79-83页 |
| 4.2.1 输入控制器设计 | 第80页 |
| 4.2.2 执行控制器设计 | 第80-81页 |
| 4.2.3 事件管理器设计 | 第81-82页 |
| 4.2.4 数据库设计 | 第82-83页 |
| 4.3 信号转换平台的设计 | 第83-84页 |
| 4.4 安全计算机平台测试系统应用实例 | 第84-93页 |
| 4.4.1 安全计算机平台二乘功能测试序列执行实例 | 第85-89页 |
| 4.4.2 安全计算机平台同步通信控制子协议测试 | 第89-93页 |
| 4.5 本章小结 | 第93-94页 |
| 5 结论 | 第94-96页 |
| 5.1 总结 | 第94-95页 |
| 5.2 展望 | 第95-96页 |
| 参考文献 | 第96-100页 |
| 图索引 | 第100-102页 |
| 表索引 | 第102-104页 |
| 作者简历及攻读硕士/博士学位期间取得的研究成果 | 第104-108页 |
| 学位论文数据集 | 第108页 |
