面向嵌入式系统函数动态调用路径拆分与匹配

嵌入式软件及其运行环境具有一定的特殊性和复杂性,函数调用路径可达到几十条到几十万条,仅靠动态测试无法保证覆盖所有静态路径。在获取静态函数调用关系路径的基础上,利用钩子函数动态提取系统执行过程中的基本信息,跟踪并确定函数的动态调用路径。通过对动态路径的拆分,实现路径子集与全局静态路径集的匹配,找出冗余的测试用例,计算出动态调用路径的覆盖率,有效提高了嵌入式系统测试的准确性和完整性。     

基于Soot控制流图的函数调用路径分析

每个应用系统中存在多条基于函数的调用路径,这些路径的准确提取对于程序的理解、测试和维护起着重要的作用。文章利用开源的Java程序编译优化框架-Soot,对java程序的数据流及控制流进行分析,提取函数间关联信息写入中间文件,并对文件中的数据进行了分析,阐述了程序函数调用路径生成的流程及Soot的优点。最后通过实验验证,相比其他程序调用分析软件,基于Soot调用路径分析的软件测试工具-JSFUNP,对程序调用路径的分析更加准确、高效。     

基于函数调用的路径覆盖生成技术研究

 针对目前路径覆盖方法所存在的缺陷,提出了一种新的基于函数调用的路径覆盖生成方法.根据控制结构与函数调用语法,获取全部的静态函数调用路径,依据程序执行后的动态路径信息,判断测试用例是否覆盖了程序变更部分及受影响部分.该方法既能避免路径数目的急剧增长,又可以保证测试完全.     

一个基于UML协作图的集成测试用例生成方法

UML协作图描述了系统的一个协作过程中参与对象之间的结构关系和交互行为,确认它们是否被正确实现是集成测试的工作.本文提出了一个基于UML协作图生成集成测试用例的方法,将表示设计的协作图作为测试模型,首先通过遍历每条消息的直接后继识别协作图中的表示用例实现的所有可能的场景路径,然后在遍历每条场景路径的过程中获取相应协作执行的路径条件、参数变量和预期方法调用序列,最后使用范畴-划分方法确定场景路径上的输入、输出、环境条件的合理组合作为覆盖该场景路径的测试用例,用于测试一个协作场景路径上的交互行为.该方法,集成了白盒方法和黑盒方法,在覆盖所有的测试需求的前提下,生成的测试用例较少.     

嵌入式软件的云平台覆盖测试

本文介绍的是一种针对嵌入式软件的基于云平台的覆盖率测试方法,以及相关工具的应用。通过工具将插桩编译后的软件装载到目标机上运行,黑盒手工执行测试,白盒显示函数调用图和控制流程图,同时将执行和未执行代码分颜色显示,对未执行的代码进行人工分析,可以通过增加测试用例来提高覆盖率。     

基于C语言函数调用获得结果的分析研究

函数是C程序基本构造模块,是构造结构化程序的基础。C语言中主调函数调用被调函数的重要目的之一就是为了获得调用后的结果,对C函数的调用做了全面的分析和研究,总结出C语言通过函数调用获得调用结果共有3种调用方式,每种方式获得的结果的情况并不一样,并对每一种调用方式的调用原理从内存机制给予了说明和解释。     

EWFT:基于程序执行过程的白盒测试工具

应用动态测试技术检测二进制程序的脆弱性是当前漏洞挖掘领域的研究热点.本文基于动态符号执行和污点分析等动态分析技术,提出了程序路径空间的符号模型的构建方法,设计了PWA(Path Weight Analysis)覆盖测试算法,实现了EWFT(Execution-based Whitebox Fuzzing Tool)原型工具.实验测试结果表明,EWFT提高了程序执行空间的测试覆盖率和路径测试深度,相比国际上同类测试工具,能够更加有效地检测出不同软件中存在的多种类型的程序漏洞.     

关于程序控制流程图的路径测试方法研究

针对路径测试的特点,结合图论的知识,提出了控制流程图的一种表示方法.在此基础上,讨论了基于控制流程图的测试路径自动查找算法、测试用例的选择策略及覆盖率分析方法.最后,文中介绍了以上软件测试方法在实际工程项目中的应用.     

基于程序控制的路径测试技术研究

针对路径测试的要求及其特点,结合图论的概念,提出了程序控制流程图的一种表示方法.并在此基础上,讨论了基于程序控制流程图的测试路径自动查找算法、测试用例的选择策略及覆盖率分析方法.最后,介绍了以上软件测试技术在实际工程项目中的应用情况.     

基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。     

面向C/S结构的软件自动化测试工具的设计

以软件的回归自动化测试为研究重点,设计了一个专门应用于CLIENT/SERVER型软件的回归自动化测试工具.该工具的测试引擎统一调度测试用例,测试用例具体实施方案上采用关键字驱动脚本技术,实现了一个脚本调用多个测试用例.同时该工具主要使用B-shell语言实现,使该系统能够在多个平台上运行.     

嵌入式软件覆盖率测试的研究与应用

覆盖率测试是检验软件测试完整性、充分性的重要方式,这里介绍了覆盖率测试基础理论、覆盖率的测试类型、覆盖率测试工作流程、比较了覆盖率测试工具Bullseye Coverage、LDRA TestBed。并通过LDRA Testbed测试工具对被测软件程序插装,分析插装程序输出的结果得到语句覆盖率、分支覆盖率等数据,以达到对软件问题的查找和对测试充分性、全面性的验证。同时给出了Turbo C开发环境下DOS操作系统的嵌入式软件,利用LDRA Testbed进行覆盖率分析和通过查看未覆盖的代码定位软件问题、测试用例覆盖情况的详细步骤。     

用于测试用例最小化的遗传算法

测试用例最小化是回归测试的重点和难点,是软件测试研究的热点之一。遗传算法具有高效的搜索寻优能力,在回归测试优化中受到广泛的研究。但是,经典遗传算法用于测试用例最小化会过早收敛,容易陷入局部最优。现设计了一种改进的遗传算法:根据测试用例的代码覆盖情况,设计基因编码并构建初始种群;结合测试用例的权重、覆盖率和运行代价设计适应度函数;对选择算子和交叉算子分别进行改进,不但可以有效地抑制遗传算法的过早收敛,还可以提高收敛速度。研究对比表明,在满足理想的覆盖率的前提下,改进的遗传算法能够有效地获得测试用例最小化集,大大降低了回归测试的代价。     

构件集成软件测试用例生成智能算法分析

构件集成软件测试用例生成是测试中的重要的难题之一.提出了构件集成软件的结构树路径覆盖准则,研究智能算法的参数编码设计、适应度函数的构造、关键算子的设定.以三角形分类判断的构件集成软件为例仿真实验,重点从覆盖率、收敛情况、测试用例数目等方面对各智能算法进行比较分析.结果表明,融合的遗传算法与蚂蚁算法与其他算法相比有一定优势.     

基于遗传算法的路径测试用例的自动生成探讨

在软件开发中进行软件测试是为了保证软件质量和可靠性。软件测试中测试数据合理设计很关键。如何优化测试数据,自动生成测试数据是人们一直研究的问题,本文针对测试用例的自动化生成进行了深入的研究,在分析遗传算法的基础上,设计了一个基于遗传算法的测试用例自动生成系统,仿真实践表明,本文设计的系统能够准确地自动生成满足指定路径的测试用例。具有很好的适应性,对程序路径是否被覆盖能智能判断,对不能完全覆盖的程序路径将给出最优解。     

基于Z路径覆盖的测试用例自动生成技术研究

路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路径和测试用例自动生成技术。     

黑盒测试用例设计方法研究

为了快速地设计出完整有效的测试用例以保障软件测试质量,在分析黑盒测试用例设计技术的基础上,采用了将边界值和等价类测试技术结合起来设计测试用例的一种新的方法思路。在此以一个三角形问题为实例通过分析,先用边界值分析确定数据边界,再用等价类划分方法得到等价的数据类,从而快速获得了一个完整有效的测试用例。采用这种方法设计的测试用例具有较强的发现软件程序错误的的特点,不但能有效避免测试的盲目性,并且能提高测试效率和测试覆盖度。     

嵌入式软件功能路径测试用例自动生成研究

根据嵌入式软件的结构特点尝试了一种适合于嵌入式软件测试实际的功能路径测试方法.通过分析功能路径上的结点谓词和功能约束条件,用一种简洁、快速的算法建立和求解输入变量的约束系统,生成功能路径测试用例.实践证明,该测试用例可同时测试嵌入式软件的功能和结构,测试效率高、生成代价低且测试较为全面,能有效降低嵌入式软件开发、测试和维护的成本.     

黑盒测试技术在雷达软件系统测试中的应用

随着现代雷达技术的发展,雷达软件系统测试技术的研究和应用对于雷达软件质量的提高具有重要意义。文中以某雷达的软件系统测试为例,阐述了如何灵活采用等价类划分、边界值分析等多种黑盒测试技术来设计切实可行的测试用例,使得这些测试用例不仅能达到较大的雷达软件功能需求的测试覆盖率,而且可以有效地发现雷达系统软件设计中的缺陷。实践证明,应用这些黑盒测试技术在该雷达软件系统测试的用例设计中极大地提高了测试效率,取得了较好的效果,具有一定的工程应用价值。     

基于遗传算法的软件覆盖性测试优先排序研究

为获取科学合理的测试用例最优排序,提升软件测试效率,研究基于遗传算法的软件覆盖性测试优先排序方法。以测试用例集为遗传算法的种群,其中各测试用例序列为个体,通过编码、适应度函数运算、选择、交叉及变异操作,选取APFD与APBC指标设计评价,得到测试用例最优排序。结果表明,该方法的轮盘赌选择算子搜索精准稳定,所得各程序覆盖性测试最优排序的APFD值均高于0.8,覆盖性缺陷检测效果理想,各最优排序内测试用例的APBC值由高到低排序与最优排序相同,能够有效提升软件覆盖性测试效率。