嵌入式软件测试技术分析研究20111122.docVIP

目 录 第1章 绪论 3 1.1 课题背景及研究意义 3 1.2 研究内容 4 1.3 国内外关于嵌入式软件测试的研究现状 5 1.4 关于论文的组织结构 6 第2章 嵌入式系统及其软件 7 2.1 嵌入式系统 7 2.2 关于嵌入式系统及其软件的相关特点 7 2.3 嵌入式软件开发模式 10 2.4 嵌入式软件三大特点对软件测试的影响 13 2.4.1 实时性的影响 13 2.4.2 嵌入性的影响 13 2.4.3 反应性的影响 14 第3章 嵌入式系统软件测试 15 3.1 概述软件测试 15 3.1.1 软件测试目的 15 3.1.2 软件测试对象 16 3.1.3 软件测试数据流图 16 3.1.4 软件测试方法 17 3.2 嵌入式软件的测试 18 3.2.1 关于测试策略 18 3.2.2 测试方法 18 3.2.3 测试工具 21 3.2.4 嵌入式系统测试流程 23 第4章 嵌入式系统软件测试模型 26 4.1 嵌入式的软件测试模型 26 4.1.1 V测试模型 26 4.1.2 X测试模型 27 4.1.3 W测试模型 29 4.2 提出的新的软件测试模型 29 第5章 嵌入式系统软件测试模型应用 33 5.1 超市仓储管理系统的结构和特点 33 5.1.1 超市仓储管理系统的结构 33 5.1.2 超市仓储管理系统的特点 34 5.2 超市仓储管理系统的测试方案 34 5.2.1 针对系统开发语言制定的测试方案 34 5.2.2 针对用户界面的测试方案 35 5.3 单元测试的实现 35 5.3.1 单元测试介绍 35 5.3.2 单元测试的策略与实现 36 5.4 集成测试的实现 39 5.4.1 集成测试介绍 39 5.4.2 集成测试策略 40 5.4.3 集成测试过程的实现 41 第6章 结束语 44 参考文献 45 作者简历 49 致谢 50 绪论 StaticAnalysis作为Cantata的静态分析部分可完成一般的静态测试。Cantata通过检查并测量代码标准及代码复杂性，从而确定软件的标准和可维护性。[9]Logiscope，其作为一组由Telelogic公司提供的嵌入式软件测试工具集，不仅贯穿于软件开发、代码评审阶段，还贯穿于单元/集成测试、系统测试、软件维护阶段。Logiscope针对编码、测试和维护而面向源代码展开工作，因此，帮助代码评审以及动态覆盖测试便成为了Logiscope的重点所在。[10]由AMC公司提供的CodeTest，其包括分别用于嵌入式软件开发不同阶段测试的三个产品。在主机上完成软件开发后，采用CodeTestNative产品进行测试; 而将软件植入目标系统就需要应用CodeTestSoftware-In-Circuit产品，其还可以通过以太网连接对软件进行测试;用于系统测试的是CodeTestHardware-In-Circuit，需要软硬件配合测试。[11]作为硬件辅助软件测试与分析的一种工具，Code-test利用监视系统总线，只有在程序运行到插入的特殊点时其才会主动到数据总线上捕获数据回来。英国LDAR公司提供的静态测试工具Testbed可以完成编程规则检查、静态数据流分析、交叉索引分析、软件度量分析等静态分析功能，并能插装源代码。[12]另外，RTInsight作为LDAR公司的定时硬件数据采集器，将其同被测试系统的物理总线连接，并一同使用测试工具Testbed和软件RTView，进行实时监控系统的总线读写，从而实现时间性能分析、覆盖率分析、堆栈监控和变量监控及系统跟踪功能。[13] 国内于90年代中后期才开始了对嵌入式软件测试技术以及测试工具的研究，目前大型的软件工程往往都倾向于选择国外的软件测试平台，如平台logiscope。就国内现状而言，商业化的嵌入式系统测试平台尚不存在，但却存在部分基于研究目的而开发的测试系统，具代表意义的为EASTT，由南京大学开发。[14]EASTT 类似于logiscope，其多应用于代码评审和动态调用关系分析、动态覆盖测试等。另外，北航软件所的SafePro/C，主要用于测试C语言程序软件，提供分支覆盖、语句覆盖、轨迹文件界面和插桩策略。[15] 关于论文的组织结构 第一章主要介绍了本课题的研究背景和研究内容。对于课题所研究的问题主要的研究方法做了概括性介绍。 第二章论述了嵌入式系统及其软件的基本原理，主要包括软件测试的常用方法和策略。本文针对通用软件测试的概念、软件测试的分类及软件测试的过程进行了详细的研究。嵌入式软件测试的特点做了分析。 第三章论述了嵌入式系统软件测试的基本原理。 第四章研究比较了传统的测试模型，介绍了改进模型的思路；构建一种改进的嵌入式软件测试模型；着重探讨了以控制需求变更为基础而针对嵌入式软件