| 第1章 概述 | 第1-22页 |
| 1．1 小卫星的发展史 | 第9-11页 |
| 1．1．1 现代小卫星的发展阶段 | 第10页 |
| 1．1．2 现代小卫星的技术特点 | 第10页 |
| 1．1．3 发展小卫星的意义 | 第10-11页 |
| 1．2 小卫星软件的发展 | 第11-13页 |
| 1．2．1 早期星务管理系统——星上数管系统 | 第11-12页 |
| 1．2．2 CX-1小卫星的星务管理系统——星载计算机系统 | 第12-13页 |
| 1．3 软件测试发展的历史与现状 | 第13-19页 |
| 1．3．1 软件的发展和软件危机 | 第13-15页 |
| 1．3．2 软件工程过程和软件生存期 | 第15-18页 |
| 1．3．3 软件测试的发展历程 | 第18-19页 |
| 1．4 本文研究的主要内容 | 第19-20页 |
| 1．5 本文的主要结构 | 第20-22页 |
| 第2章 航天嵌入式软件质量 | 第22-38页 |
| 2．1 软件质量概念 | 第22-23页 |
| 2．2 经典软件质量模型 | 第23-26页 |
| 2．2．1 McCall质量模型 | 第24-25页 |
| 2．2．2 Boehm质量模型 | 第25页 |
| 2．2．3 ISO软件质量模型 | 第25-26页 |
| 2．2．4 经典软件质量模型的缺陷 | 第26页 |
| 2．3 CX-1小卫星软件质量模型 | 第26-34页 |
| 2．3．1 需求质量 | 第28-29页 |
| 2．3．2 产品质量 | 第29-32页 |
| 2．3．3 测试质量 | 第32-33页 |
| 2．3．4 CX-1小卫星软件质量特点 | 第33-34页 |
| 2．4 CX-1小卫星软件质量模型应用效果 | 第34-37页 |
| 2．5 小结 | 第37-38页 |
| 第3章 小卫星软件容错设计 | 第38-49页 |
| 3．1 星载计算机系统软件故障的主要错误源 | 第38-39页 |
| 3．2 CX-1小卫星软件容错设计原则 | 第39-40页 |
| 3．3 CX-1小卫星软件容错设计方法 | 第40-47页 |
| 3．3．1 CX-1小卫星软件容错技术 | 第41-46页 |
| 3．3．2 CX-1小卫星软件容错设计 | 第46-47页 |
| 3．4 小结 | 第47-49页 |
| 第4章 小卫星软件容错测试用例设计研究 | 第49-63页 |
| 4．1 CX-1小卫星软件容错测试过程及测试方法 | 第49-52页 |
| 4．1．1 CX-1小卫星软件容错测试流程 | 第49-50页 |
| 4．1．2 CX-1小卫星软件容错测试方法 | 第50-51页 |
| 4．1．3 CX-1小卫星软件容错测试环境 | 第51-52页 |
| 4．2 CX-1小卫星软件容错测试用例设计流程 | 第52页 |
| 4．3 CX-1小卫星软件故障分析 | 第52-57页 |
| 4．3．1 故障模式影响分析（FMEA） | 第53页 |
| 4．3．2 故障模式影响及危害性分析（FMECA） | 第53-54页 |
| 4．3．3 故障树分析（FTA） | 第54页 |
| 4．3．4 CX-1小卫星软件故障树研究 | 第54-57页 |
| 4．4 CX-1小卫星软件测试用例自动生成研究 | 第57-62页 |
| 4．4．1 软件测试用例生成准则 | 第58-59页 |
| 4．4．2 软件测试用例生成最小化函数 | 第59-60页 |
| 4．4．3 CX-1小卫星软件测试用例自动生成方法研究 | 第60-61页 |
| 4．4．4 应用效果 | 第61-62页 |
| 4．5 小结 | 第62-63页 |
| 第5章 单粒子事件故障注入系统研究 | 第63-86页 |
| 5．1 故障注入方法 | 第63-66页 |
| 5．1．1 重离子辐射注入法 | 第63-64页 |
| 5．1．2 模拟方法。 | 第64-65页 |
| 5．1．3 软件故障注入法。 | 第65页 |
| 5．1．4 硬件故障注入法。 | 第65-66页 |
| 5．2 单粒子事件故障模型 | 第66-70页 |
| 5．2．1 单粒子效应 | 第66-67页 |
| 5．2．2 RAM的故障模型分析 | 第67-69页 |
| 5．2．3 单粒子事件故障模型 | 第69-70页 |
| 5．3 单粒子事件故障注入算法 | 第70-75页 |
| 5．3．1 FARM模型 | 第70-71页 |
| 5．3．2 单粒子故障注入模型 | 第71-73页 |
| 5．3．3 单粒子事件故障注入算法 | 第73-75页 |
| 5．4 单粒子事件故障注入系统 | 第75-85页 |
| 5．4．1 单粒子事件故障注入系统结构及功能 | 第75-76页 |
| 5．4．2 单粒子事件故障注入实现原理 | 第76-77页 |
| 5．4．3 故障注入器硬件实现技术 | 第77-80页 |
| 5．4．4 故障注入系统软件结构 | 第80-83页 |
| 5．4．5 仿真及结果分析 | 第83-85页 |
| 5．5 小结 | 第85-86页 |
| 第6章 CX-1小卫星软件仿真测试（S＆T）平台研究 | 第86-108页 |
| 6．1 嵌入式软件可靠性测试环境 | 第86-87页 |
| 6．2 S＆T系统体系结构 | 第87-90页 |
| 6．2．1 CX-1小卫星OBDH体系结构 | 第87-88页 |
| 6．2．2 S＆T体系结构 | 第88-90页 |
| 6．3 S＆T系统仿真模型 | 第90-99页 |
| 6．3．1 动力学仿真模型 | 第90-92页 |
| 6．3．2 能源仿真模型 | 第92-97页 |
| 6．3．3 轨道仿真模型 | 第97-99页 |
| 6．4 S＆T系统时钟同步问题 | 第99-101页 |
| 6．4．1 时钟同步的重要性 | 第99-100页 |
| 6．4．2 时钟同步方法 | 第100页 |
| 6．4．3 时钟同步中的软件同步方法 | 第100-101页 |
| 6．4．4 S＆T系统时钟同步方法 | 第101页 |
| 6．5 仿真测试结果 | 第101-107页 |
| 6．5．1 仿真测试流程 | 第101-102页 |
| 6．5．2 动力学仿真机仿真测试结果 | 第102-105页 |
| 6．5．3 能源系统等效器仿真测试结果 | 第105-106页 |
| 6．5．4 GPS仿真机仿真结果 | 第106-107页 |
| 6．5．5 S＆T系统特点 | 第107页 |
| 6．6 小结 | 第107-108页 |
| 第7章 结论 | 第108-110页 |
| 7．1 本文工作总结 | 第108-109页 |
| 7．2 工作展望 | 第109-110页 |
| 发表文章目录 | 第110-111页 |
| 致谢 | 第111-112页 |
| 参考文献 | 第112-117页 |
