嵌入式箭载计算机控制软件测试关键技术研究

摘要

二十一世纪为信息化时代,各国对软件技术更新也日益重视。嵌入式软件作为一种关键类型软件在医疗、交通、军工等许多领域中都有应用,其软件质量也受到更多的关注。软件测试方法技术作为一种软件质量的重要保障方法也需要与时俱进的更新和完善。本文以我院研制的箭载计算机控制软件测试任务为背景,构建一套高效、精确、独立的第三方测评环境,用以研究解决测评过程中存在的软件关键问题,同时完成箭载计算机软件测试平台研制工作。本文的意义有以下几点:
　　1、对比目前的第三方软件测试过程应用模型的优、缺点,提出嵌入式箭载计算机软件评测阶段模型,并在此过程中融合军工软件的特点要求,在保证软件测评质量的前提下,提高第三方测评效率。
　　2、课题从军工软件测评实际要求出发,将静态测评技术融入到箭载计算机软件测评过程中,在研究静态测评度量指标的同时兼顾考虑扇入/扇出数、圈复杂度和基本复杂度对军工系统软件的影响,并给出了降低部分软件度量标准的方法。尤其针对中断情况进行较为仔细的分析,通过中断使用一览表、中断处理情况表等表格对中断产生,使用,消失的过程进行监控。着重强调容易发生中断冲突的情况,并总结出避免的方法。
　　3、结合箭载计算机飞行控制软件特点,介绍箭载计算机飞行控制软件测试的平台搭建的原理和过程,并对技术指标、平台架构进行详细分解说明。着重于实现实时通讯的方法,降低测试平台与目标机间通讯误差。突出了测试平台的调配性和通用性。
　　4、本文分析了嵌入式箭载计算机飞行控制软件静态测试的需求、难点和方法。提出降低软件部分圈复杂度、扇入扇出数和基本复杂度的办法。结合嵌入式软件测试关键点——软件中断资源进行分析。从中断含义入手,经由使用情况、处理情况、资源冲突检查的过程,总结出一套切实有效的中断测试方法。
　　5、将嵌入式箭载计算机飞行控制软件的特点与边界测试结合,详细地解析了嵌入式箭载计算机飞行控制软件边界测试的需求及测试过程,解决了飞行控制软件姿控开关回环函数测试问题,运用边界值测试中常用有效的测试方法——5点法进行实例测试。
　　6、介绍如何通过TESTBED测试工具进行单元测试,从TESTBED测试工具安装出发,经过软件预处理、配置测试环境等步骤后进入单元测试执行阶段。在执行过程中对设置测试关键因素进行图示讲解,并描述了编译过程中可能遇见的问题和解决方法。
　　7、本文阐述了嵌入式箭载计算机控制软件测试覆盖率的难点和要求,使用McCabe软件与硬件环境,最大限度减少对被测试系统运行时间影响及最大限度还原被测试系统的时序控制,并且有效地获得覆盖率数据。

目录

封面

声明

中文摘要

英文摘要

目录

1绪 论

1.1 研究背景

1.2课题的国内外研究现状

1.3 嵌入式箭载计算机飞行控制软件测试所面临的问题

1.4 课题的主要研究内容

1.5 课题的章节结构

2 嵌入式箭载计算机飞行控制软件测试的基本理论

2.1 软件测试的基本概念

2.2 软件测试技术

2.3嵌入式箭载计算机飞行控制软件测试

2.4 本章小结

3建立独立仿真平台和自动化测试过程模型

3.1嵌入式箭载计算机飞行控制软件的特点

3.2自动化测试过程模型

3.3嵌入式箭载计算机软件独立仿真平台的建立

3.4本章小结

4嵌入式箭载计算机飞行控制软件静态测试

4.1嵌入式箭载计算机飞行控制软件静态测试的相关概念

4.2嵌入式箭载计算机飞行控制软件静态测试需求与难点

4.3嵌入式箭载计算机飞行控制软件静态测试方法

4.4本章小结

5嵌入式箭载计算机飞行控制软件动态边界测试技术

5.1边界测试的需求和含义

5.2应用边界值测试的意义

5.3边界测试应用实例

5.4本章小结

6嵌入式箭载计算机飞行控制软件单元测试

6.1TESTBED测试工具安装

6.2预处理软件源程序

6.3准备测试环境

6.4进行单元测试

6.5查看覆盖率

6.6本章小结

7嵌入式箭载计算机飞行控制软件逻辑覆盖测试

7.1McCabe测试工具安装及验证

7.2预处理软件源程序

7.3对目标代码进行插桩

7.4本章小结

8结 论

参考文献

致谢

攻读学位期间发表的学术论文目录