基于路径覆盖的嵌入式软件动态测试研究
> 基于路径覆盖的嵌入式软件动态测试研究
基于路径覆盖的嵌入式软件动态测试研究
摘要：针对动态测试时的问题，提出了一种动态测试系统框架。该框架基于测试的特点及的相关理论，包括被测试程序的静态分析、插桩技术和数据处理分析等部分。以静态分析指导插桩库的建立，通过插桩技术在程序分支或重要位置点植入探针，执行已插桩程序，获得动态测试跟踪数据，最后对数据进行处理分析并制作初步测试报告。结合该框架，模拟测试实验室现行项目208型海区终端的航标数据采集模块，得出率，证明该系统框架的可行性。关键词：嵌入式软件；；；；0 引言 目前，嵌入式软件已广泛的应用在各个领域：如工业控制、通信设备、信息家电以及航空航天等领域，应用越来越广泛，复杂性也日益增加。但由于嵌入式软件实时性强、I／O通道少、内存资源受限、与硬件及硬件驱动紧密关联、CPU种类繁多等特点，决定了嵌入式软件的开发和测试必须在交叉编译环境下进行，即开发及测试工具运行在宿主机上，而被测程序运行在软硬件资源紧张的目标机上。仅仅在开发环境下进行嵌入式，难以保障其测试结果的有效性；而仅在目标机上进行测试，由于软件运行的不可视性，又使得测试者难以知晓程序当前运行状态，以及代码的覆盖情况。因此对嵌入式软件覆盖测试技术的要求也更高。 是一种有效地保证软件质量的重要手段。常用的软件测试方法有黑盒测试、白盒测试和灰盒测试。白盒测试中最成熟、最常用的方法是覆盖测试，它是一种动态软件测试方法。覆盖测试是验证软件功能结构正确性以及查找问题的一种重要方法和手段。为了获取覆盖率信息，必须在获得被测程序结构信息、静态数据流信息、控制流信息等基础上，加入一些探针，通过探针收集的信息来获得程序的执行路径、状态等控制流。 路径覆盖测试是覆盖测试中的关键测试技术之一，目前已应用于程序、测试用例设计、程序调试、性能优化等多个方面，是覆盖程度最高的测试。其基本原理是用最少的测试用例，覆盖程序中的所有路径，发现程序中最多的错误，安排测试计划、分配测试资源，并对实际测试所达到的覆盖率做出评估。本文给出了路径覆盖相关理论，并在理论研究的基础上设计出了一种嵌入式软件动态测试系统框架，完成对被测程序的路径覆盖率分析，进而判断测试的充分性及弱点，从而进一步改进测试过程。1 路径覆盖相关理论 路径覆盖使程序中每一条可能的路径至少执行一次。但在实际工作中，即使一个不太复杂的程序，路径数量往往也是较多的。要在测试中覆盖所有的路径是不现实的，而就是一种简化路径数的测试方法。 是在控制流图的基础上，通过分析控制结构的环形复杂度，导出执行路径的基本集，再从该基本集设计测试用例。为了清晰描述基本路径测试方法，需要对本文中用到的几个基本概念进行说明。 (1)程序控制流图：是对程序流程图简化后得到的，它是一种有向图G=(N，E，Entry，Exit)，其中N是流图的节点数，E是流图的边数。 (2)Z路径优化：是指限制循环的次数，无论循环的形式和循环体实际执行的次数，简化后的循环测试只考虑执行循环体一次和零次(不执行)两种情况。 (3)环形复杂度：提供程序基本路径集的独立路径数量以及确保所有语句至少执行一次的测试数量的上界。可以通过下列两种方法来计算：对流图G，环形复杂度V(G)=E-N+2；或V(G)=P+1，其中P为包含在流图G中的判定节点数。 (4)基本路径集BP：指软件可达路径的最小集合，等于环形复杂度V(G)。 (5)路径覆盖率计算：由基本路径集BP设计测试用例集T，使T理论上按BP执行。然后分析动态跟踪数据，构造实测路径集Pn。计算测试覆盖率PCP=(Pn／BP)&100％其中Pn=P(T1)P(T2)&P(Tn)。2 嵌入式软件动态测试框架 嵌入式软件动态测试框架如图1所示。它包含宿主机程序插桩及数据处理分析和目标机数据处理两部分。本文引用地址： 在嵌入式软件测试中，静态测试是基础，对被测软件进行代码规则检查、静态结构分析和代码质量评估；动态测试是必要补充，在目标机真实环境下或仿真环境下运行被测程序，采集动态跟踪数据，分析其动态行为。 嵌入式软件路径覆盖测试的特点就是必须在交叉编译环境下，通过物理通道传输完整的动态测试跟踪数据，分析数据后得到路径覆盖率。动态执行前先要检查目标机与宿主机的连接状况，确保测试正常进行。2．1 被测试程序静态分析 静态分析并不真正执行被测程序，也不需要对代码进行编译链接，生成可执行文件。首先，对源码进行词法语法分析和变量分析，找出不符合编码规范的地方，根据某种质量模型评价代码的质量，生成模块调用关系图、模块的程序流程图等。其次，从程序中提取必要的数据并保存，提供给后续的动态分析和测试报告使用。最后，根据模块的程序流程图绘制程序控制流图G，得到程序控制流图的边数E和节点数N，指导插桩库的建立，并根据Z路径优化法构造程序的基本路径集BP，构建动态路径覆盖测试的比较基础。2．2 插桩技术 一般来说，对程序进行动态测试的时候，基本上要使用程序插桩来进行覆盖测试。程序插桩技术是保持被测软件逻辑完整性的基础上，在源代码中插入探针函数，它是一个子过程调用，调用的子过程能在运行到插桩点时记录下有关的运行情况，采集执行程序在真实环境中运行的控制流、数据流等测试数据。插桩时需确保探针函数对源程序执行影响最小。 基本路径测试依赖探针插桩技术完成分支位置点标志位的采集。插桩位置最好选择在应用程序层，重点采集输入输出模块中的上层函数运行信息，底层模块加强单元测试，而在嵌入式软件模块集成时，默认这些模块是正确无误的。根据程序按块划分的原则，可以在子函数出入点、程序块控制流图G的分支节点、功能测试的重点变量处植入探针。 基本路径测试的插桩过程是静态的，数据收集过程是动态的，结束时需恢复现场。动态测试前，被测程序与插桩库连接，完成插桩操作，获取执行程序。执行程序交叉编译后运行于目标实际环境或者仿真环境下，通过探针函数返回动态测试跟踪数据。
分享给小伙伴们：
我来说两句……
最新技术贴
微信公众号二
微信公众号一　　　　　　　　　
您现在的位置：&&>&&>&&>&正文
计算机技术与软件水平考试系统分析员试题(3)
来源：（）　　【】　
(9) A.‘d’、‘d’和‘+／-’B．‘d’、‘．’和‘d’C．‘d’ 、 ‘+／-’和‘d’D．‘d’ 、 ‘．’和‘e’● 在下面所列举的逻辑测试覆盖中，测试覆盖最强的是__(10)__，最弱的是__(11)__。(10)A.条件覆盖B. 条件组合覆盖C.语句覆盖D．条件及判定覆盖(11)A.条件覆盖B．条件组合覆盖C.语句覆盖D．条件及判定覆盖● 软件测试工具有多种，其中__(12)__对源程序的数据流和控制流进行分析，发现语义错误：__(13)__。通过对程序的执行流进行探测，检查有关变量的逻辑值。(12) A. 动态分析工具B．静态分析工具C. 模拟工具D. 测试管理工具(13) A. 动态分析工具B．静态分析工具C. 模拟工具D. 测试管理工具●对下面的个人所得税程序中满足语句覆盖测试用例的是，满足判定覆盖测试的用例是__(15)__。if (income&800) tarrate=0；else if (income&=1500) taxrate=0.05；else if (income&2000) taxrate=0.08；else taxrate=0.1；(14)A．income=(800，，2001)B．Income=(800，801，)C．income=(799，，2001)D．income=(799，，2000)(15)A．income=(799，，2001)B．income=(799，，2001)C．income=(800，，2001)D．income=(800，，2001)● 一般来说，在软件维护过程中，大部分工作是由__(16)__引起的。在软件维护的实施过程中，为了正确、有效地修改程序，需要经历以下三个步骤，分析和理解程序、修改程序和__(17)__。__(18)__的修改不归结为软件的维护工作。(16) A.适应新的软件环境B．适应新的硬件环境C．用户的需求改变D.程序的可靠性(17) A.重新验证程序B．验收程序C. 书写维护文档D．建立目标程序(18) A.文档B.数据C．需求分析D．代码● 结构化分析方法(SA)是一种预先严格定义需求的方法，强调分析对象的__(19)__，其指导思想是__(20)__。(19) A.程序流B．指令流C. 控制流D．数据流&&&2&&&&&&&
文章责编：gaoxiaoliang&　看了本文的网友还看了
·&&( 8:58:57)·&&( 8:58:55)·&&( 8:58:55)·&&( 8:58:52)·&&( 8:58:46)·&&( 18:34:51)
还没有试卷
· · 　 · · 　 · · 　 · · 　 · ·
· · 　 · · 　 ·
· 　 · · 　　 · · 　 · · 　 · · 　 · ·
· · 　　·
· · 　 · ·
· · 　 ·
电子商务技术员
信息安全工程师
信息系统运行管理员
多媒体应用制作
电子商务设计师
计算机辅助设计师
计算机硬件工程师
嵌入式系统设计师
系统构架设计师
系统规划与管理师
实用工具 |
| 大全 | 大全
　　　　 |
版权声明：如果网所转载内容不慎侵犯了您的权益，请与我们联系，我们将会及时处理。如转载本内容，请注明出处。
Copyright & 2004-
　网　All Rights Reserved　
中国科学院研究生院权威支持(北京)　电 话：010-　传 真：010-