教学课程资源库 更多>>

关键词： 软件测试   测试用例修复   A*算法   JAVA单元测试用例  

摘要： 软件回归测试是保障软件质量的重要手段。软件演化的代码变化可能导致旧版本的测试用例不能直接在新版本软件上复用,降低了回归测试的效率。测试用例修复为测试用例复用提供了一种有效的解决方案。JAVA单元测试用例修复是近年来回归测试研究的热点问题之一。基于搜索的算法因其通用性好、求解速度快等优点,已被应用于JAVA单元测试用例自动修复中。通过在新版本软件中搜索可以用来修复单元测试用例的方法序列,对单元测试用例进行修复,使其可在新版本软件上执行。然而,现有的修复序列生成方法以待修复测试用例的出错点为修复点,从测试用例的入口方法开始,通过在新版本软件中搜索可用来修复的方法/全局变量等,向下逐步生成修复序列,对出错点进行修复。该方法未考虑测试用例出错点之间的依赖关系,而且修复序列生成缺乏目标指导,导致修复序列的生成效率较低。为提高JAVA单元测试用例修复效率,本文提出一种基于A*搜索的JAVA单元测试用例修复及并发优化方法。通过分析测试用例出错点之间的依赖关系,尽量选取不依赖其它出错点的出错点作为待修复点,确定修复目标;从修复目标开始,向上搜索新版本软件中的可用于修复的方法/全局变量等,直到测试用例的入口方法,生成修复序列。搜索过程同时考虑修复序列对旧版本测试用例的影响以及修复序列内部的数据依赖关系,计算A*估价函数,以指导搜索过程。在此基础上,依据修复序列对测试用例进行修复,尽可能保留占版本软件测试用例中完好的方法、参数及其使用关系,以保留原始测试用例语义及测试意图。此外,本文对修复序列生成及测试用例修复进行了并发优化,通过重叠CPU计算和IO操作、利用CPU并发计算能力,进一步缩短了测试用例修复花费的时间。为评估本文测试用例修复方法及并发优化的有效性,以4个开源程序不同版本的测试用例为对象,对旧版本程序的测试用例进行修复,使其在新版本程序上复用。实验表明,与现有的测试用例修复方法相比,本文所提修复方法能够在保证测试用例修复成功率的情况下,缩短修复时间,提高修复效率。对本文修复方法的并发优化,减少了 60%的修复时间,进一步提高了系统并发处理能力,提升CPU使用率,提高了修复效率。

关键词： 软件测试   静态分析   错误定位  

摘要： 拓展Linux应用生态的一个有效方法是借助于兼容层软件Wine，它为Windows应用软件在Linux操作系统上兼容运行提供了支持。然而Wine因其模拟DLL的实现思路导致其天生存在着诸多代码缺陷，从而能完美支持的Windows应用仍然非常有限，因此对Wine的全方面测试是有重要应用价值的。Winetest是Wine社区提供的一款系统级测试工具，用来验证Wine实现的各DLL API的执行行为是否如同预期。开发人员通过Winetest的测试报告信息可以去找到相应的测试代码，进而对该测试点代码逻辑进行追踪，还原错误发生场景从而找到具体的错误位置并进行修复。然而，一套Wnetest测试用例提供了非常多的测试点，从测试代码到分析出具体引起其出错函数的位置也是一个复杂的过程，对那些未通过的测试点逐个进行人工分析和定位非常耗费时间和精力。　　本文在Wnetest的基础上，利用基于频谱信息错误定位的方法为Winetest未通过的测试点提供批量分析和错误定位的功能。针对传统的频谱信息定位方法在大型软件错误定位中存在分析时间长，效率低且准确度不高等问题，本文结合Wine及Winetest的一些机制特性从如下三个方面进行了改进:(1)利用Winetest测试点中的辅助信息缩小错误定位的范围，提高定位准确度;(2)利用Wine中调试信息中的通道机制对输出的频谱信息在保证相关性的基础上进行过滤筛选，减少错误定位时的分析时间;(3)利用测试点执行序列信息包含层次性的调用结构的特点，对Winetest测试点的执行过程进行还原，从而为出错的地方提供上下文信息，帮助开发人员更好的理解错误产生的原因。基于上述内容，本文基于Wiinetest构建了自动化错误定位方法，该方法可以利用Wine的调试通道信息和Winetest的功能覆盖测试信息等对测试结果进行批量性的分析和错误定位，为开发人员定位Wine代码缺陷带来一定的帮助。　　本文的主要贡献包括:　　1、提出了一种适用于Winetest的错误定位框架，利用Wine的调试通道信息和Winetest的测试结果信息等数据实现批量性错误分析和错误定位。　　由于Winetest本身是一个一致性测试工具，相比于一般的单元测试工具，其并没有独立的单元测试用例，并不太适合进行错误定位，本文通过对Winetest的分析，以测试点这一层面入手，针对为测试点进行具体功能错误定位的数据需求，对Wine中的函数信息，函数间静态调用信息，Winetest功能覆盖测试点信息和Winetest测试点执行序列等信息进行补充，利用这些数据并结合适用于winetest场景的错误定位算法来构建错误定位框架，从而对未通过的测试点进行批量分析和错误定位，大大提高了Winetest工具的实用性。　　2、通过设计实验验证了本错误定位框架在Winetest场景下在识别缺陷函数时能够发挥良好的作用效果。　　本文选择引入基于程序频谱信息的自动化错误定位技术来对Winetest测试结果提供自动化错误定位功能，本文对单版本的错误和多版本的回归错误这两种情景都进行了实验来验证本框架对Wine缺陷函数的识别和定位效果。实验结果表明，不论是单版本错误定位还是多版本回归错误定位过程中，存在缺陷的函数的可疑度排名都处在相对较高的位置，开发人员可以优先分析到具有缺陷的函数，从而提高Wine缺陷修复的效率。

关键词： 雷达软件   静态分析   软件测试   自动化测试   Logiscope  

摘要： Logiscope是一款用于软件质量保证和软件测试的产品.其主要功能是对软件做质量分析和测试,用以保证软件的可靠性,特别针对要求高可靠性和高安全性的软件项目和工程.本文介绍了Logiscope的主要功能与测试原理等,并通过一个具体的测试实例,说明如何使用Logiscope进行雷达软件的测试工作.

关键词： 状态变迁矩阵   软件测试   瘦中断   数据竞争   原子性违背   结构分解   组合测试  

摘要： 航天软件评测中心统计数据表明航天领域大型实时嵌入式软件故障80%是由中断嵌套引起的,而中断嵌套产生的原子性违背(Atomic Violation)问题至今没得到有效解决;基于多核CPU的嵌入式软件由于多线程交织导致数据竞争(Data Race)问题以及运行结果随机而难以保证其可信性,不得不采用多个单核CPU通过网络通信避免数据竞争问题,这势必影响多核CPU在航天领域的应用;针对这类实时嵌入式软件测试,存在测试用例数量庞大问题,难以评估其可信性。本文从以下几方面开展研究,解决上面提出的几个亟待解决的问题:针对中断嵌套引起的原子性违背问题,本文提出瘦中断处理(Re-Engineering Interrupt Processing)的状态变迁矩阵(State Transition Matrix,STM)模型用于解决中断嵌套引发的原子性违背问题,即把中断处理程序中访问共享变量的程序块移植到主程序STM中,而中断处理程序仅负责将外部中断请求数据存到缓冲区当中,由主程序STM完成中断处理及中断嵌套功能,从而有效解决了原子性违背问题。针对多线程交织引发原子性侵犯和数据竞争问题,提出基于STM的多线程访问控制与访问分离方法:首先建立多线程的STM模型,为了验证多线程模型,通常采用集成的方法进行验证,但容易造成状态空间爆炸,因此,提出控制-访问分离方法,即将各个STM中访问共享变量的控制逻辑集成到一个独立的STM中,最终实现共享变量的控制与访问分离,只需要对控制STM进行验证,这样可以解决多线程验证的状态空间爆炸问题。针对嵌入式软件实时性集成测试用例生成问题,提出层次模型的时间约束和循环约束的集成测试方法。本方法通过对待测系统进行层次化模型的设计,并建立针对规模大结构复杂的软件系统实时性的测试方法,通过增加测试用例的结构复杂度,最终生成比待测模型更为复杂的正则测试用例串,从而找出隐藏较深的软件功能问题。针对复杂软件集成测试的模型划分和用例化简问题,提出模型结构分解方法与测试优化方法。通过对待测软件整体功能的有限状态自动机(FSM)对应的有向图进行结构分解,对分解后的子模型先进行功能测试,根据模型有向图的连通特征以及语义网络的语义特征进行状态聚类,并生成相应的测试用例,然后对系统进行组合测试,进而发现更深层次的错误。最后,利用上述研究方法在航天控制系统中得到实际应用,有效解决数据竞争和原子性违背等问题。在智能电视,电机控制等实际应用中对实时的结构复杂的大型软件进行集成测试,找出隐藏较深的缺陷。经过验证后,发现多状态机模型的验证问题以及对于同类型系统普适性测试问题,将在以后解决。

关键词： 软件检测实验室   测试管理   软件测试   标准体系  

摘要： 本文分析了GB/T 25000.51-2016和GB/T 25000.51-2010两者之间的区别,提出了基于GB/T 25000.51-2016标准的软件检测实验室的测试管理方案,包括测试计划、测试报告的定义,以及相关测试的记录等,从而使软件检测实验室的管理体系符合25000.51-2016标准的要求。

关键词： 软件测试   发展现状   对策  

摘要： 随着科学技术的不断发展,我国软件行业竞争激烈,但第三方软件测试依然处于初步发展阶段。本文通过说明第三方软件测试的必要性、发展现状和存在的问题,提出了相应的对应措施,为第三方软件测试企业的发展具有参考价值和实践作用。

摘要： 本文结合机器学习技术在软件测试领域中的应用,基于Incopat平台分析了该领域的专利申请态势、申请人分布、申请主题聚类。最后针对机器学习技术在软件测试领域的主流研究方向作了探讨和展望。

关键词： 需求模型下   航天软件测试   用例方法  

摘要： 为了解决随着软件规模和空间系统复杂性的增长,"空间模型在软件开发周期中的缩短"导致软件开发效率不足的问题,例如通过引入新的空间软件开发方法,模型驱动软件开发方法,模型驱动的软件开发方法采用"开发人员构建图形模型,由模型代码自动生成"模型,以提高软件开发效率,并具有正式的验证功能,以确保代码与模型的一致性.然而,模型驱动的软件开发方法不仅提高了航天模型软件的开发效率,而且还挑战了传统的软件测试方法.尽管目前在航空航天领域有相对完善的测试方法系统,并且部分测试工作可以自动执行,但是这些传统的测试方法基于需求文档的测试,因此无法应用于模型驱动的开发软件.如何有效地测试模型驱动的航空软件已经成为迫在眉睫的问题.

关键词： 软件测试   问题   策略  

摘要： 软件测试指的是在交付软件或者开发软件产品的过程中,测试软件的性能和功能。结合测试的具体结果,评价和分析软件产品的质量,及时改进和发现不足,避免软件存在严重的缺陷。可见,在软件工程中,软件测试有着关键的作用,能让软件开发人员专心于解决程序的效率和算法问题,有利于保障软件质量。本文分析了软件测试中比较典型和普遍的问题,提出了问题改进策略。

关键词： 软件测试   静态分析   中间文件化简  

摘要： 随着互联网技术的飞速发展,越来越多的软件出现在人们的生活中。软件测试作为保证软件质量的过程,发挥着越来越重要的作用。软件测试中的静态分析技术,可以在不运行程序的情况下,验证程序是否存在缺陷。目前常见的静态分析工具在分析C++程序时,会先使用编译器对源代码进行预处理,生成中间文件,然后对中间文件进行后续分析。而中间文件的代码规模通常有几十万行,且包含一些语法复杂的结构,会影响静态分析的效率,甚至会导致静态分析失败。因此对中间文件进行化简,提高静态分析效率,以及解决分析失败的问题,具有十分重要的研究意义。目前国内对中间文件化简的研究主要围绕在如何去除中间文件中的冗余信息上。这种方式虽然能提高分析效率,但是却不能解决在静态分析中出现的分析失败的问题。针对上述问题,本文提出一种中间文件化简方法。该方法首先对源程序进行分析,然后收集符号表中被记录为未知类型的符号,通过补全该符号的类型定义信息,最终形成化简后的中间文件。本文首先对中间文件的结构进行分析,并提出类型定义信息这一概念。然后分析中间文件中类型定义信息的特征,将类型定义信息特征抽象为一个四元组,并将类型定义信息补全算法划分为关键字判定法和正则表达式判定法。接着分析了类型定义信息间的一种特殊关系,本文将其定义为依赖关系,并对具有依赖关系的类型定义信息提出了优化策略。最后,本文基于缺陷检测系统(Defect Testing System,DTS),设计并实现了中间文件化简子系统,并对几个开源工程进行了实验。实验结果表明,该方法可以提高约50%的分析效率,并且能解决在静态分析中出现的分析失败的问题。