机载航电系统软件适航验证测试的设计与实现
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第一章 绪论 | 第7-11页 |
| 1.1 选题背景及意义 | 第7-8页 |
| 1.2 国内外现状分析 | 第8页 |
| 1.3 论文工作内容 | 第8-9页 |
| 1.4 论文组织结构 | 第9-11页 |
| 第二章 相关技术概述 | 第11-19页 |
| 2.1 机载软件适航概述 | 第11-12页 |
| 2.2 DO-178B 标准概述 | 第12-14页 |
| 2.3 机载软件测试 | 第14-18页 |
| 2.3.1 普通软件测试 | 第14-15页 |
| 2.3.2 机载软件测试特点 | 第15页 |
| 2.3.3 基于需求的测试用例 | 第15-16页 |
| 2.3.4 基于需求的测试方法 | 第16-17页 |
| 2.3.5 基于需求的软件覆盖率分析 | 第17-18页 |
| 2.4 本章小结 | 第18-19页 |
| 第三章 HO300 软件测试需求分析 | 第19-35页 |
| 3.1 系统硬件配置 | 第19-20页 |
| 3.2 系统功能测试需求 | 第20-23页 |
| 3.3 软件测试需求分析 | 第23-24页 |
| 3.4 发动机转速模块测试需求分析 | 第24-27页 |
| 3.5 电台主频显示模块测试需求分析 | 第27-30页 |
| 3.6 系统接口配置文件 | 第30-33页 |
| 3.7 本章小结 | 第33-35页 |
| 第四章 HO300 软件验证测试设计 | 第35-55页 |
| 4.1 软件验证过程活动综述 | 第35-36页 |
| 4.2 软件计划过程的验证活动 | 第36-37页 |
| 4.3 软件开发过程的验证活动 | 第37-38页 |
| 4.4 软件测试过程活动 | 第38-54页 |
| 4.4.1 系统测试流程 | 第39-40页 |
| 4.4.2 可测试性审查 | 第40页 |
| 4.4.3 测试建模 | 第40-41页 |
| 4.4.4 核心模块测试用例设计 | 第41-42页 |
| 4.4.5 发动机转速模块测试用例设计 | 第42-49页 |
| 4.4.6 电台主频显示模块测试用例设计 | 第49-54页 |
| 4.5 本章小结 | 第54-55页 |
| 第五章 HO300 系统软件验证测试实现 | 第55-65页 |
| 5.1 验证工作流 | 第55-58页 |
| 5.2 测试实现 | 第58-62页 |
| 5.2.1 测试程序工具选择 | 第58-59页 |
| 5.2.2 测试程序构成规范 | 第59页 |
| 5.2.3 发动机转速模块测试实现 | 第59-61页 |
| 5.2.4 电台主频显示模块测试实现 | 第61-62页 |
| 5.3 开发组/验证组工作模式 | 第62-63页 |
| 5.4 本章小结 | 第63-65页 |
| 第六章 HO300 软件测试结果分析 | 第65-71页 |
| 6.1 测试执行 | 第65-67页 |
| 6.2 发动机转速模块测试结果统计 | 第67-68页 |
| 6.4 电台主频显示模块测试结果统计 | 第68-69页 |
| 6.5 核心模块测试结果统计 | 第69-70页 |
| 6.6 本章小结 | 第70-71页 |
| 第七章 结束语 | 第71-73页 |
| 7.1 论文工作总结 | 第71-72页 |
| 7.2 后续工作展望 | 第72-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-77页 |
| 附录 A DO-178B 的 66 个目标 | 第77-86页 |
| A.1 软件策划过程 | 第78-79页 |
| A.2 软件开发过程 | 第79页 |
| A.3 软件需求过程输出的验证 | 第79-80页 |
| A.4 软件设计过程输出的验证 | 第80-81页 |
| A.5 软件编码和集成过程输出的验证 | 第81-82页 |
| A.6 软件/硬件综合过程输出的测试 | 第82-83页 |
| A.7 验证过程结果的验证 | 第83-84页 |
| A.8 软件配置管理过程 | 第84页 |
| A.9 软件质量保证过程 | 第84-85页 |
| A.10 合格审定联络过程 | 第85-86页 |
