飞行控制软件单元测试的实施

摘要

飞行控制软件是一个系统复杂、高安全性要求的嵌入式系统软件。单元测试处在软件测试前期，它是提高软件质量的焦点。单元测试是对程序代码设计中的最小单元进行正确性检验的测试工作。飞行控制软件的单元测试是从软件生命周期最早期开始，保证软件质量，是第一个环节，也是最重要的环节。
　　 本文针对航天嵌入式软件的特点，为保证其高可靠性，作者根据测试理论和飞行控制计算机的特点提出了如何实施单元测试。首先对当前软件单元测试现状进行分析，了解单元测试实施的现状和存在的问题。接着，了解软件测试的基本理论和和单元测试相关的测试方法。在这些方法的基础上，提出单元测试过程和单元测试用例设计方法，单元测试的过程是建立单元测试测试模型的基础，也是测试策略的表现。测试用例设计方法是工程实践的基础。本文对于单元测试用例设计的方法主要描述基于需求的测试用例设计方法和基于覆盖率的用例设计方法。在单元测试过程研究和单元测试设计用例设计方法的基础上，以一个型号测试项目为实例，建立测试模型，描述单元测试活动开展情况，解决单元测试中可能出现的问题，通过单元测试的实施，深入分析单元测试的结果。
　　 单元测试的结果表明，这种单元测试过程设计是合理的，用例设计方法是充分的。以此所设计的单元测试模型是满足飞行控制计算机软件评测工作的特殊性要求。这种单元测试实施方法，是充分的、可追溯的、效率较的测试方法。
　　 在本文最后，对全文进行了总结，并对下一步工作提出了展望。

目录

文摘

英文文摘

第一章 引言

1.1 课题背景

1.2 课题任务

1.3 作者的主要工作

1.4 论文结构

第二章 软件测试基本理论

2.1 软件测试的基本概念

2.1.1 软件测试的定义

2.1.2 软件周期与软件测试

2.2 软件测试技术简介

2.2.1 静态测试技术

2.2.2 动态测试技术

2.2.3 几种有效的测试用例设计方法

2.2.4 逻辑覆盖率分析方法

2.3 飞控计算机软件特性分析

第三章 飞控软件单元测试过程与用例设计方法

3.1 单元测试过程

3.1.1 文档审查过程

3.1.2 静态分析过程

3.1.3 代码审查过程

3.1.4 动态测试过程

3.1.5 单元测试实施步骤

3.2 基于需求的测试用例设计方法

3.2.1 测试用例设计

3.2.2 测试覆盖分析

3.3 基于逻辑覆盖测试技术的测试用例设计方法

3.3.1 测试需求分析

3.3.2 测试用例设计

第四章 某型号飞行控制软件单元测试实施

4.1 项目对单元测试的要求

4.1.1 项目简述

4.1.2 测试内容及要求

4.2 单元测试模型

4.3 单元测试活动的实施

4.3.1 文档审查活动

4.3.2 静态分析活动

4.3.3 代码审查活动

4.3.4 测试用例和驱动程序的设计及评审

4.3.5 动态测试执行

4.3.6 各活动的结果总结和分析

4.3.7 测试充分性分析

第五章 总结

5.1 总结

5.2 进一步的工作

附录1 表格索引

附录2 图片索引

参考文献

致谢