| 摘要 | 第1-5页 |
| ABSTRACT | 第5-15页 |
| 第一章 绪论 | 第15-22页 |
| ·引言 | 第15页 |
| ·课题背景及意义 | 第15-17页 |
| ·软件测试的定义 | 第17页 |
| ·软件测试的发展 | 第17-18页 |
| ·国内外研究现状 | 第18-20页 |
| ·本文主要研究成果 | 第20-21页 |
| ·本文各章内容安排 | 第21-22页 |
| 第二章 软件测试基本理论 | 第22-34页 |
| ·软件和软件工程 | 第22-23页 |
| ·软件测试的基本原则和方法 | 第23-25页 |
| ·软件测试的基本原则 | 第23-24页 |
| ·软件测试的方法 | 第24-25页 |
| ·嵌入式系统软件测试 | 第25-28页 |
| ·嵌入式系统及其特点 | 第25-27页 |
| ·嵌入式软件测试的技术方法 | 第27-28页 |
| ·软件测试工具选择 | 第28-33页 |
| ·软件测试工具的分类 | 第28-30页 |
| ·LDRA 测试套件 | 第30-33页 |
| ·本章小结 | 第33-34页 |
| 第三章 无人机飞行控制系统体系结构 | 第34-43页 |
| ·飞行控制系统概述 | 第34-37页 |
| ·飞行控制系统组成 | 第34-36页 |
| ·飞行控制系统工作原理 | 第36-37页 |
| ·飞行控制软件概况 | 第37-38页 |
| ·飞行控制软件的功能 | 第37页 |
| ·飞行控制软件的结构 | 第37-38页 |
| ·飞行控制软件的特点 | 第38页 |
| ·飞行控制软件设计 | 第38-42页 |
| ·无人机飞控软件需求分析 | 第39页 |
| ·控制律解算模块详细设计 | 第39-40页 |
| ·导航模块详细设计 | 第40-42页 |
| ·其他模块设计 | 第42页 |
| ·本章小结 | 第42-43页 |
| 第四章 无人机飞行控制软件测试策略 | 第43-50页 |
| ·整体测试模型 | 第43-45页 |
| ·单元测试策略 | 第45-47页 |
| ·单元测试任务 | 第45-46页 |
| ·单元测试过程 | 第46-47页 |
| ·集成测试策略 | 第47-49页 |
| ·集成测试原则 | 第47页 |
| ·集成测试过程 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第五章 无人机飞行控制软件静态测试深入研究 | 第50-76页 |
| ·无人机飞行控制软件静态测试概述 | 第50-51页 |
| ·LDRA-Testbed 软件静态测试工具概述 | 第51-52页 |
| ·基本静态分析 | 第52-54页 |
| ·代码格式化 | 第52-53页 |
| ·编码规则验证 | 第53-54页 |
| ·静态和复杂度分析 | 第54-64页 |
| ·控制流图及控制流节点(knot) | 第55-57页 |
| ·程序环路复杂性度量 | 第57-61页 |
| ·Halstead 软件科学度量 | 第61-63页 |
| ·LCSAJ 密度和代码可达性 | 第63-64页 |
| ·静态数据流分析 | 第64-67页 |
| ·数据流基本概念 | 第64-65页 |
| ·数据流异常 | 第65-67页 |
| ·代码和数据的图形化显示 | 第67-71页 |
| ·调用关系图 | 第67-68页 |
| ·Kiviat 图 | 第68-71页 |
| ·质量报告 | 第71-72页 |
| ·无人机飞行控制系统软件静态测试结果总结和比较 | 第72-74页 |
| ·控制律模块手工代码和SCADE 代码静态测试结果分析比较 | 第73页 |
| ·导航模块手工代码和SCADE 代码静态测试结果分析比较 | 第73-74页 |
| ·无人机飞控软件静态测试工作规范化研究 | 第74-75页 |
| ·确定测试项目 | 第74-75页 |
| ·测试报告标准 | 第75页 |
| ·本章小节 | 第75-76页 |
| 第六章 无人机飞行控制软件集成测试研究 | 第76-97页 |
| ·集成测试工作模式 | 第76-85页 |
| ·集成测试工作模式选择 | 第76-80页 |
| ·无人机飞控软件集成测试工作安排 | 第80-84页 |
| ·集成测试工具 | 第84-85页 |
| ·自底向上阶段测试研究 | 第85-90页 |
| ·模块划分和测试安排 | 第85页 |
| ·外部函数处理 | 第85-88页 |
| ·驱动模块设计 | 第88-90页 |
| ·自顶向下阶段测试研究 | 第90-96页 |
| ·模块划分和测试安排 | 第91页 |
| ·桩模块设计 | 第91-96页 |
| ·集成测试过程总结 | 第96页 |
| ·本章小节 | 第96-97页 |
| 第七章 总结与展望 | 第97-99页 |
| ·本课题主要研究工作总结 | 第97页 |
| ·后续工作展望 | 第97-99页 |
| 参考文献 | 第99-103页 |
| 致谢 | 第103-104页 |
| 在学期间的研究成果及发表的学术论文 | 第104-105页 |
| 附录 | 第105-106页 |