教学课程资源库 更多>>

关键词： 缓冲区溢出   软件测试   静态分析   路径松弛  

摘要： C程序的缓冲区溢出漏洞是近年来最为常见且危害极大的安全漏洞之一。为尽早发现与排除这些漏洞,人们提出了多种方法。这些方法主要分为动态的测试方法和静态源代码审查方法。前者的查错能力受制于测试用例覆盖面的局限性,后者充分考虑了程序输入的各种可能,但其所报告的大量伪错误严重影响了方法的实际使用。 为解决上述困境,本文提出了一种新型的动态缓冲区溢出漏洞分析方法。它是测试方法的延伸。对于一个测试的执行,该方法不但考虑在当前执行中程序是否出现缓冲区溢出错误。还考虑在当前的执行路径下,给定不同的输入,程序是否有潜在的出错可能。这种对于路径的松弛可以有效的提高测试方法在揭示错误上的能力。与此同时,由于基于路径松弛的方法只考虑程序实际可能执行的路径,而不考虑控制流上连通,但却受制于各种判断条件而得不到执行的路径,因此有效的减少了伪错误报告的数量,提高了侦错的准确性。 为验证本文所提出方法的有效性,我们设计了一个侦错工具的原型。对于给定的分析对象,它先分析程序的源代码确定待追踪的变量和追踪位置,然后在相关位置插入约束维护代码和检错代码。运行扩展后的程序,就能生成相关错误报告。初步的实验研究表明,该方法是行之有效的。

ISBN: (纸本)9787302285588

ISBN: (纸本)9787560629162

关键词： 软件测试   测试模型   遗传算法   自动化测试  

摘要： 近年来,随着互联网的普及和Web技术的快速发展,Web应用程序因其快捷性和易用性而得到广泛应用。目前,Web应用程序不仅可以用于发布信息而且可以用于构建大型的企业应用系统,Web应用程序正变得越来越庞大和复杂。与此同时,Web应用程序的正确性和可靠性等问题也越来越受到人们的重视,如何保证Web应用程序的质量是当今亟待解决的关键问题,也是一个重要的研究课题。 由于Web应用程序具有分布式以及用户环境异构等独有的特点,传统的软件测试技术很难直接应用于Web应用程序中。目前普遍的办法是根据特定Web应用程序提供的具体功能设计测试用例并采用手工的方式进行测试,由于未对Web应用程序进行系统的建模分析并且未做大量的回归自动化测试,导致测试不充分和测试效率低等问题。近几年,虽然国内外学者相继提出了一些Web应用程序的测试模型并应用于辅助Web应用程序的测试分析,但是这些模型大都集中在行为模型上,具有一定局限性。 针对上述问题,本文在深入分析比较了各种Web测试模型、测试方法和测试技术的基础上做了如下工作：(1)结合当前Web应用系统的新特点提出了一种“自底向上”的结构化测试分析方法,以当前流行的J2EE程序为例,针对不同等级的代码结构给出了相应等级的数据流测试建模方法；(2)在数据流结构化测试模型的基础上,提出一种改进的遗传算法用于数据流测试用例的自动生成,实验表明了改进算法在收敛速度和覆盖率上都有较明显提高；(3)设计并初步实现了Web应用程序的回归自动化测试框架,该框架可以用于自动化执行数据流分析出的测试用例和一些繁琐的重复执行的手工测试工作。 实验表明采用本文所提出的数据流测试方法以及自动化测试方法能够有效地提高Web应用程序的测试粒度和测试效率。

关键词： 自动化测试   工作流   流程引擎   软件测试  

摘要： 随着软件产业的发展，人们变得越来越重视软件的质量，能否长期稳定的使用软件成为客户最为关注的部分。在这个趋势下测试的要求也变得越来越复杂，而自动化测试便是在这个背景下产生的。自动化测试解决了软件质量无法得到有效保证的问题，弥补了手工测试的种种不足，能够减少人工对于测试结果的干预，使得到更加精准的测试结果。 Process Engine（流程引擎）是IBM FileNet P8产品的核心，用于Business Processmanagement（业务流程管理）的产品，Process Engine通过多种方式实现与外部系统与服务的集成。业务流程管理的实现主要基于Workflow（工作流）的流转，Workflow指的是一系列相互衔接、自动进行的业务活动或任务。研究基于对IBM Filenet产品的Process Engine测试分析，将测试的整个流程以BPMFramework作为主要工具进行自动化测试。BPMFramework由IBM公司开发，是用于Process Engine自动化测试的测试框架。研究基于对于该框架的搭建过程的深入了解，成功设计Process Engine测试用例，然后融合到BPMFramework系统中。 研究中，通过设计与管理一个Workflow，深入了解Process Engine自动化测试的测试点，然后把通过BPMFramework解读各个测试用例，根据BPMFramework的构架测试各种版本的FileNet P8Process Engine，通过测试，我们可以发现，精心设计过的测试用例可以很好的达成测试目标，且在各个平台均能发挥测试功效。在研究Process Engine测试的基础上实现了跨平台、自动化、可复用的测试框架。

关键词： 测试质量评级   用户行为模型   系统测试中的代码分析  

摘要： 软件测试在软件工程中扮演着重要角色,它是现阶段保证软件产品质量的主要手段。随着异地协同工作模式的盛行,软件测试面临新的挑战,比如,需求沟通难度加大,额外的沟通成本急剧增加,对客户的期望特别是需求管理往往不到位,各团队间测试标准不统一引起后期返工较多等等,这些都极大地加大了软件质量保证的风险。 本文试图通过建立一个针对每个软件测试阶段的评级模型,对软件质量进行全程监控,每个阶段的测试只有通过统一的指标才能进入下一环节,以期在项目集成或在交付客户之前,尽量在组内保证最大程度地保证自己团队提交物的质量,减小沟通成木,最终形成一个涵盖项目全生命测试周期的软件测试评级。 监控的主要手段是从不同角度分析统计每次测试的覆盖率。在接口测试时,引入包含统一接口定义的数据模拟器中间件,分别对接口相关模块做测试并评级;在系统测试中,将建立用户行为模型库,以此为基础根据用户行为需求和实际测试操作来分析测试覆盖,同时,在测试者执行测试时,我们在服务器端同时植入一个代理工具,它会监控程序中各类的运行情况,针对监控结果从代码逻辑角度再进行测试覆盖分析。据此对测试质量的评测既符合客户预期,能较小跟用户在需求理解上的偏差,也能很好地评价测试质量,并通过覆盖分析结果,拉平各开发团队以及开发与测试团队间的分歧,提供更精准的测试。 用户行为模型库的建立,特别是基于组件的用户模型,能够方便新项目的需求分析,根据历史经验把需求细节尽早提出来解决。对于管理客户期望,特别是消除细节处理上的分歧,有很大的作用;它也能据此自动生成测试用例,节省时间。

关键词： 软件测试   教学方法   实践   探索  

摘要： 随着国内软件测试人才需求的急剧增加,软件测试人才的培养也愈受重视。文章就软件测试技术在我系作为专业限选课程,探讨了目前教学中存在的一些问题,对当前软件测试课程的教学方法和手段进行了有益的实践与探索,并取得了良好的效果。

关键词： ARM-Linux   嵌入式系统   软件测试   测试研究  

摘要： 随着软件技术的不断革新,人们对软件的正确性和准确性的要求也在不断提高,软件测试技术得到越来越多的重视和应用。嵌入式软件作为一种特殊的软件,符合软件的大多数特征的同时也具有自己特点。本文指出软件测试的目的,并根据嵌入式系统软件的特点,介绍嵌入式系统软件的测试方法、测试工具盒测试策略。

关键词： 软件测试   静态分析   编译预处理   中间文件  

摘要： 随着计算机行业的的迅速发展,软件规模、复杂度不断提升,应用领域也不断扩大,如何保证和提高软件的可靠性与安全性成为计算机领域研究的热点,软件测试已经成为软件生命周期中不可或缺的-部分。程序静态分析是与程序动态分析相对应的代码分析技术,它以其执行速度快、效率高、不实际执行程序等特点,受到了业界的高度重视,近几年来发展迅速。 随着软件规模的不断扩大,如何提高静态分析的效率成为人们普遍关心的问题。因此本文的研究工作将围绕如何提高静态分析的效率来展开。本文以C语言源文件为研究对象,结合中间文件生成原理,以合理去除中间文件中的冗余代码为核心,设计并实现了中间文件简化功能,有效地提升了静态分析效率。 本文首先介绍了中间文件的结构及冗余信息的模式,通过大量实验统计冗余信息比重,得出进行中间文件简化的必要性。文中设计了中间文件化简子系统来对冗余信息进行删除,并合理储存头文件信息,消除冗余信息的删除对静态分析精度所造成的影响。最后,本文在基于缺陷的软件测试框架DTS的基础上,实现了中间文件化简子系统,并通过对大量Linux中GCC开源工程进行检测,验证了文中方法的可行性与有效性。