卫星地面站软件可靠性设计与测试技术研究与应用
| 摘要 | 第1-10页 |
| ABSTRACT | 第10-11页 |
| 第一章 绪论 | 第11-15页 |
| ·引言 | 第11页 |
| ·课题背景 | 第11-12页 |
| ·国内外研究综述 | 第12-14页 |
| ·软件可靠性 | 第12-13页 |
| ·软件测试 | 第13-14页 |
| ·论文的组织结构 | 第14-15页 |
| 第二章 软件可靠性与软件测试 | 第15-27页 |
| ·软件可靠性原理 | 第15-16页 |
| ·软件可靠性定义 | 第15页 |
| ·软件失效机理 | 第15-16页 |
| ·影响软件可靠性的因素 | 第16-17页 |
| ·软件可靠性设计方法 | 第17-19页 |
| ·软件复杂性控制 | 第17-18页 |
| ·软件容错 | 第18页 |
| ·软件在线自检 | 第18-19页 |
| ·软件测试策略 | 第19-22页 |
| ·软件测试过程模型 | 第19页 |
| ·单元测试 | 第19-20页 |
| ·集成测试 | 第20-21页 |
| ·系统测试 | 第21-22页 |
| ·软件测试技术 | 第22-25页 |
| ·白盒测试 | 第22-23页 |
| ·黑盒测试 | 第23-24页 |
| ·优缺点比较 | 第24-25页 |
| ·软件自动化测试 | 第25-26页 |
| ·自动化测试的特点 | 第25-26页 |
| ·自动化测试的步骤 | 第26页 |
| ·本章小结 | 第26-27页 |
| 第三章 卫星地面站软件可靠性设计与实现 | 第27-46页 |
| ·卫星地面站软件系统特点 | 第27-30页 |
| ·卫星地面站组成概述 | 第27-29页 |
| ·信息处理软件特点 | 第29-30页 |
| ·软件规范性设计方法 | 第30-32页 |
| ·软件设计流程规范 | 第30页 |
| ·代码和文件版本管理 | 第30-31页 |
| ·代码编写规范和静态检查 | 第31-32页 |
| ·基于多态性的结构简化设计 | 第32-35页 |
| ·抽象设备类定义 | 第32-34页 |
| ·数据发送与接收的实现方法 | 第34-35页 |
| ·基于软件容错的主备切换设计 | 第35-40页 |
| ·信息处理软件冗余设计概述 | 第35页 |
| ·设备连接关系 | 第35-36页 |
| ·主备切换指令约定 | 第36-37页 |
| ·主备切换策略分析 | 第37-38页 |
| ·主备切换实验结果 | 第38-40页 |
| ·基于软件在线自检的实时故障检测 | 第40-43页 |
| ·软件死循环检测方法 | 第40-41页 |
| ·软件功能故障检测方法 | 第41-43页 |
| ·异常处理与实时状态监控 | 第43-45页 |
| ·错误数据处理 | 第43页 |
| ·用户错误操作处理 | 第43-44页 |
| ·软件工作环境实时监控 | 第44-45页 |
| ·本章小结 | 第45-46页 |
| 第四章 卫星地面站软件测试研究 | 第46-61页 |
| ·信息处理软件测试概述 | 第46-47页 |
| ·测试需求概述 | 第46页 |
| ·测试环境 | 第46-47页 |
| ·测试过程的优化和改进 | 第47-49页 |
| ·传统的测试过程 | 第47-48页 |
| ·改进的测试过程 | 第48-49页 |
| ·测试用例的完备性设计 | 第49-52页 |
| ·时频模块帧格式简介 | 第49页 |
| ·基于等价类划分的测试用例生成 | 第49-52页 |
| ·自动测试的应用 | 第52-56页 |
| ·自动测试在回归测试中的应用 | 第52-54页 |
| ·自动测试在性能测试中的应用 | 第54-56页 |
| ·可靠性强化测试 | 第56-60页 |
| ·负面测试 | 第57-58页 |
| ·压力测试 | 第58-60页 |
| ·本章小结 | 第60-61页 |
| 第五章 结束语 | 第61-63页 |
| ·全文工作总结 | 第61页 |
| ·下一步工作 | 第61-63页 |
| 致谢 | 第63-64页 |
| 参考文献 | 第64-67页 |
| 作者在学期间取得的学术成果 | 第67页 |
