教学课程资源库 更多>>

关键词： 互联网   软件测试   内部质量管理  

摘要： 近年来,互联网已经成为人们日常工作和生活中必不可少的基本工具之一,互联网软件是人们在使用互联网的过程中常需要使用的基本软件,提高互联网软件的质量具有重要的意义。文章详细分析了提高互联网软件质量的测试管理方法,对于提高互联网软件的用户体验具有一定的价值。

关键词： 黑盒抽象   符号执行   机器学习   软件测试  

摘要： 随着现代信息社会的高速发展,软件已经进入人们生活的方方面面,为保障软件质量而对软件进行充分测试的重要性也随之愈发凸显。符号执行是近年来在软件测试领域被广泛使用的技术之一。该技术使用符号化变量而不是具体值变量作为代码的执行输入,在程序路径的分析过程中不断收集分支语句产生的路径约束,然后调用底层求解器对路径约束集合进行求解从而生成触发对应代码路径的测试用例。然而在处理现实世界中复杂的真实程序时,符号执行仍面临不少挑战。一方面,传统约束求解器的求解能力严重制约着符号执行处理复杂路径约束的能力。另一方面,当程序中包含复杂路径结构,如函数调用、循环语句等,符号执行会陷入大量路径的搜索与求解中。这些都极大地影响了符号执行技术在复杂程序上的应用。针对以上问题,本文在前期工作基于机器学习的符号执行框架的基础上,提出了一种基于黑盒抽象的新型符号执行方法。该方法不仅可以处理简单路径约束,也可将函数调用、循环语句等复杂代码片段编码为黑盒路径约束,然后通过底层机器学习指导的约束求解器进行采样、验证求解,提高符号执行对复杂代码的测试生成能力。本文的主要工作如下:●面向函数调用的黑盒抽象符号执行:为提高符号执行对包含函数调用的复杂代码的支持能力,本文提出了一种基于机器学习的函数黑盒抽象执行方法。该方法将符号执行过程中指定函数调用的路径编码为黑盒函数约束。在求解包含黑盒函数的路径约束时,符号执行框架对函数进行黑盒执行,获得的返回值被反馈给底层基于机器学习的约束求解模块进行验证学习求解。借助于函数黑盒抽象执行方法,符号执行框架跳过了对指定函数调用的展开分析,将资源投入在对主程序的路径分析中,更好地支持了包含大量函数调用的真实程序的测试覆盖。●面向循环语句的黑盒抽象符号执行:为降低符号执行在处理循环等复杂路径结构的开销,本文提出了一种对循环等复杂代码片段的预处理方法并在该方法基础上对函数黑盒符号执行功能进行了拓展。通过对循环语句等复杂代码结构的静态分析,复杂代码片段被编码替换为等价功能的黑盒函数调用。在后期符号执行过程中,这些替换的黑盒函数被指定进行黑盒执行,减轻了符号执行框架处理函数内部循环语句的负担。●基于黑盒抽象的复杂代码测试生成系统:为评估黑盒抽象符号执行的效果,本文实现了一个面向Java语言的复杂代码测试生成系统MLB-BS,并将其与传统符号执行测试工具系统进行了一系列实验对比。实验数据表明,MLB-BS在测试覆盖度表现上优于其他工具,尤其是在包含复杂代码结构的大型程序系统的测试覆盖上达到了良好的效果。

关键词： 软件测试   可行路径表示法   花朵授粉算法   测试用例  

摘要： 软件测试是软件开发中必不可少的过程,它也是确保软件质量的有效方法。目前,软件测试倾向于采用自动化过程。软件自动化测试可以降低开发成本并且提高测试效率,然而测试用例自动生成是软件自动化测试的重要组成部分。测试用例的生成现存多种方法,但是目前应用最广、效率最高的是基于元启发式算法的方法。测试用例生成的效率与待测程序的路径密切相关。本文主要基于待测程序的可行路径进行测试用例生成的研究,首先基于现有的关键路径表示法提出了改进,接下来对花朵授粉算法提出了两点优化,然后将它们结合成一种测试用例生成模型。本文的主要工作如下:首先研究了关键点路径表示法并且分析它的可行性与限制性,针对方法的限制性提出了一种可行路径表示法。该方法符合本文的研究目的,并且使用简化的插桩手段对待测程序进行插桩。可行路径表示法是一种静态方法,在对待测程序进行实验前,通过使用该方法对待测程序进行路径分析得到程序的具体路径信息,使用逆向符号执行技术对可行路径集进行可行性再度量,最终得到程序的可行路径集。然后研究了花朵授粉算法,由于花朵授粉算法在自适应性、优化精度、收敛速度和陷入局部极值等方面都存在许多不足。为了解决花朵授粉算法的诸多弊端,本文提出了一种新型改良的花朵授粉算法(NMFPA)。新算法的两处优化分别是为所有种群成员生成全局方向、构建一组适应度函数的最优解向量,并且通过实验验证了算法的优越性。最后对本文提出的算法进行适用性和高效性验证。选取四个复杂程度不同的待测程序在MATLAB中进行仿真实验,选取两种改进的元启发式算法与本文的算法进行对比。实验结束后分别从平均消耗时间、平均迭代次数和可行路径的平均分支覆盖率这三个指标进行对比分析,最终验证了本文算法的优越性。

ISBN: (纸本)9787517074014

关键词： 软件测试   质量提高   措施研究  

摘要： 软件测试人员在软件测试的过程中,要根据实际的软件需求来进行相关测试技术的应用,可以在一定程度上提高软件测试的质量和开发后软件的使用质量。因此软件测试阶段是软件开发过程中的重点工作。所以软件测试人员应当根据当前时代对软件的需求出发,创新自身的软件测试手段,从而有效的提高软件的质量。

关键词： 软件工程   测试用例生成   启发式搜索算法   符号执行  

摘要： 随着信息技术的不断发展，信息化已经成为当今世界发展的必然趋势。软件作为信息化社会的核心，已经渗入到人类社会的方方面面。大到国家的航天、国防等关键领域，小到人们平时的网上购物和社交聊天，软件作为信息化社会的承载体，已经成为人类社会必不可少的一部分。随着软件的应用越来越广泛，功能越来越全面，作用越来越重要，软件的规模和复杂性也随之提升。因此，如何保障软件的安全性和可靠性已经成为了当今社会信息化研究中一重大问题。　　软件测试是保障软件安全性和可靠性最为直接和有效的方式，而测试用例的生成是软件测试的核心所在。在软件测试领域，基于搜索的软件测试技术(Search-Based Software Testing，SBST)和符号执行技术(Symbolic Execution)被认为是最为有效的两种测试用例生成技术。在SBST中，测试用例的生成问题被转化为最优化问题。具体来说，SBST首先设计适度函数以评价候选测试用例的质量，然后利用启发式搜索算法搜索测试用例的最优解，该最优解用例即为目标测试用例。符号执行的核心思想是使用符号值代替实际的测试数据，在程序控制流图的基础上生成符号执行树，为目标路径建立以输入数据符号为变量的表达式，从而将测试用例的生成问题转化为可满足性问题，并使用约束求解器求解能够覆盖目标路径的测试用例。　　SBST和符号执行两种软件测试技术都存在着各自的优点和缺点。符号执行是一种效率很高的测试用例生成技术，但是它的能力主要依赖于约束求解器的求解能力。复杂约束求解问题一直是制约符号执行技术发展的一个重要瓶颈。然而，SBST却能很好地处理这个问题。在SBST中，测试用例的生成问题被转化为搜索优化问题，因此，SBST在面对包含复杂约束的目标路径时，具有更好的适用性。SBST需要通过有效的启发式信息引导搜索过程从而得到最优的测试用例，如果通过被测程序难以获取充足的启发式信息，那么，启发式搜索算法就可能退化成为随机搜索算法，从而导致SBST效率低下（如:“平原问题”）。但是符号执行技术却能很好地缓解SBST面临的启发式信息不足的问题。由此可见，SBST和符号执行技术可以优势互补，两种测试技术的结合也被广泛应用于自动驾驶、系统架构测试等安全攸关的软件测试领域。本文致力于研究如何有效地将以上两种技术相结合，从而提升软件测试的能力和效率。　　本文的研究成果和贡献主要有以下几点:　　一、结合符号执行技术改进了SBST中遗传算法的遗传算子，提高了SBST的路径覆盖能力。传统的遗传算子具有太多的随机性和盲目性，这虽然保障了进化过程中测试用例的多样性，却也大大降低了搜索进化的效率。根据符号执行技术精确性的这一特性，我们在传统遗传算子中加入了符号执行的机制，在一定程度上降低了随机性和盲目性，提升了遗传算子的精确性，最终提升了传统SBST的路径覆盖能力。　　二、提出了一个基于可进化尺度的SBST和符号执行技术的切换机制。SBST和符号执行结合的一个关键问题是如何在合适的时间选择合适的测试技术。针对这一问题，我们采用了可进化尺度对当前问题的可进化性进行衡量。若当前问题可进化性较强时则选取SBST，否则选取符号执行。此外，为了更好地发挥两种测试技术的优势，克服各自的缺陷，我们提出了一个结合SBST和符号执行技术的新的测试框架。针对SBST无法探测不可执行路径、搜索空间过大和测试用例生成效率较低等问题，我们利用符号执行技术对被测程序进行预处理，进一步提升了结合两种测试技术方法的路径覆盖能力，并在一定程度上改善了测试用例的生成效率。　　三、提出了结合SBST和符号执行技术针对多路径覆盖测试用例生成的方法。根据相似路径的测试用例也具有相似性的特征，我们将多条目标路径根据相似度进行分组，从而减少SBST的冗余搜索过程。由于同组相似路径共享部分路径约束，我们结合符号执行技术，将共享约束添加到搜索空间中，削减了搜索空间，从而提升了软件测试的效率。同时，我们还利用符号执行对相似目标路径的分叉约束进行取反求解，提升了相似路径在测试用例生成之间的互助能力。此外，为了在并行环境中实现负载均衡，我们对分组策略进行了改进，对于路径相似度高的分组分配更多的目标路径，从而能够均衡各分组的负载，更加合理地利用计算资源。

关键词： 软件测试   智能技术   电能表   措施  

摘要： 随着时代的迅速发展,我国乃至世界各国越来越多的领域中都开始应用智能技术,大到航空航天,小到一块手表,而智能电能表也是其中的一份子。所有运用到智能技术的东西其实都没有看起来那么简单,而智能电能表中应用到的一些软件对于智能电能表的正常运行发挥着至关重要的作用,软件的质量将会直接影响到智能电能表的正常运行。而软件测试技术则是保证软件质量的最关键的手段,所以软件测试技术在智能电能表中的应用是及其值得人们关注和重视的。基于此,本文将从智能电能表和软件测试技术的概述、软件测试技术在智能电能表中的应用可能会出现的一些问题以及一些解决措施等几个方面来对软件测试技术在智能电能表中的应用进行简单的分析和阐述。

关键词： 现代飞机   模拟显控系统   软件测试平台  

摘要： 介于飞机显控系统的重要性,在软件开发过程中,必须搭建有效的测试平台,对软件质量进行全面检测,及时发现系统漏洞并作出改进.本文将对现代飞机模拟显控系统进行概括性分析,探讨其主要功能.在此基础上,研究模拟显控系统软件测试平台的设计方案,包括总体方案设计、平台环境搭建、底层框架搭建以及主要功能模块设计等.

关键词： 测试框架   银行业   工作项   思考与实践  

摘要： 在互联网金融发展新形势下,金融软件一方面要关注金融安全性、政策约束性、系统稳定性和操作易用性等内容,以满足不同利益相关方的价值诉求;另一方面也要应对新战略、新理念、新技术的外在变化,以保持持续的生命力和竞争力。在此背景下,测试工作如何应对机遇和挑战,完成转型升级,是新时代银行业软件测试面临的新命题。本文基于银行业软件测试面临的困难和