教学课程资源库 更多>>

关键词： 多值逻辑   模型检测   测试用例   软件测试  

摘要： 随着计算机技术的发展,人们日常生活的各个方面越来越依赖于计算机系统的协助,如移动计算,通信系统,信息管理系统,智能医疗系统及智能家居系统中包含的大量软件等。一个常见的问题是：软件系统的规模和复杂性的日益增加,导致其在开发、应用时出现了各种各样的伺题,软件质量难以保证。软件测试是量度软件品质,保证软件质量和可靠性的一种常用方法,且需要消耗大量的人力、物力和时间等资源；软件测试时间占到了其整个开发过程的40%～60%,故提高自动化测试程度对于减少软件开发成本、保证软件安全正常运行非常重要。其中,测试用例自动生成是提高软件测试自动化程度的关键。模型检测凭借其能协助自动生成测试用例的特点越来越受到人们关注。目前,基于模型检测自动生成软件测试用例的研究一般基于经典逻辑,主要通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态偷题性质,并能在系统不满足性质时提供反例路径,然后根据反例路径提取测试用例。但是在软件开发过程中,系统规模和复杂度的不断增加,导致系统模型结构不断复杂化；在利用经典逻辑模型检测对系统状态进行穷尽搜索时,容易产生状态爆炸,无法有效地实现测试用例的自动生成。所以,需要找到新方法来解决和实现测试用例自动化生成所面临的诸多问题。多值逻辑模型检测为解决上述问题提供了可行的基础。本文提出了基于多值逻辑模型检测的测试用例自动化生成方法。主要研究内容如下：首先,分析了基于模型检测自动生成测试用例的研究现状及其面临的问题；接着,阐明了多值模型检测相关理论基础;然后,给出基于多值模型检测的测试用例自动生成方法：给出刻画系统属性的时序逻辑公式；采用陷阱性质对时序逻辑公式进行变异,以满足测试覆盖度；提出多值逻辑模型检测算法,并对变异后的CTL性质进行自动化验证,生成反例,最后,对反例进行提取,自动生成测试用例。综上所述,本文提出的基于多值模型检测自动生成测试用例的方法可以实现复杂系统的测试用例自动生成,为现实环境中复杂系统测试提供了良好的基础。

关键词： 软件测试   策略   测试方法   应用  

摘要： 随着软件功能的增多与增强,软件系统也变得越来越庞大,越来越复杂.在软件开发过程中,软件测试是非常重要的一个环节,是确保软件能够顺畅工作的根本保障.所谓软件测试是指利用工程方法和测试工具对软件产品进行功能、性能、可靠性等多方面的测试,最大限度找出产品存在的问题、缺陷或偏差.基于此,本文首先分析软件测试的策略以及测试方法,并分析策略方法的应用,以供有关人士参考.

关键词： 软件测试   课程教学   教学方法  

摘要： 随着信息化水平越来越高,软件测试地位得到了提高,很多高校纷纷开设了测试课程,甚至开设了测试专业。软件测试成为学生必修一门重要的课程。本文从备课、说课、上课、听评课四个方面提出了可行性建议。

关键词： 自动化测试   Web应用   Selenium   软件测试  

摘要： 随着Web应用在企业应用中的普及,Web应用已经渗透到人们生活的各个方面,因此用户对Web应用的质量的要求越来越高。与此同时,Web应用程序的复杂性和开放性给Web测试带来了困难和挑战,传统的手工测试已渐渐无法适应竞争激烈的Web应用,自动化软件测试成为软件测试的发展趋势。为了提高测试效率,减轻测试人员的压力,越来越多的公司使用自动化测试工具来提高测试效率和产品质量。而昂贵的商业自动化测试软件让许多中小型企业望而却步,于是许多公司都在试图找寻一种易扩展的、兼容性强的开源自动化测试工具。Selenium自动化测试工具存在两方面不足：该工具本身暂没有数据驱动,无法快速增加测试数据；其在测试过程中还存在着元素定位不准确,页面等待报错,IE浏览器不支持XPath定位元素等问题。于是,本论文就这些不足之处提出改进。使用Excel表实现数据驱动,实现快速增加测试数据的目的。灵活使用XPath, id, name等定位元素,主要采用XPath定位。更改jar包,使IE浏览器支持XPath定位。增加函数处理页面等待问题。最后,利用扩展后的Selenium工具对HappyStudy平台制定了详细的测试方案并按照自动化测试流程,完成了对该平台的自动化测试。通过改进后的测试工具能更有效、更快速地完成对Web平台的测试,充分展示了该测试工具的优越性。

关键词： 高校办公管理系统   信息管理系统   软件工程   UML   软件测试  

摘要： 随着近些年以来高等教育事业飞速发展,我国的高校数量也在逐年的增加,同时招生的人数也是在逐年的增多,然而与高校飞速发展相悖的,是行政和办公效率和相应管理制度上很难跟上学校发展得步伐,工作关系本系统需求学院近些年来随着学校的快速发展,学院的教师员工以及各种教学资源的数量也相应快速的增长,目前学院的固定资产设备已有上万台之多,教工人数也上千人,面对如此大规模的人员以及设备信息的数据量,学院急需要更加先进的相关管理方法来满足需求,这就使本单位决定自主开发一套符合学院实际情况的办公管理信息系统。本文通过对学院中办公管理的需求进行全面调研之后,找出适用于学院办公自动化管理的方法来建立相应的办公管理信息系统。在开发过程中充分利用软件工程的理论,采用了***的开发语言,用UML建模工具配合用例图、流程图和类图进行了设计,实现了包括用户登录、系统桌面、个人办公、行政办公等等多项系统功能,而在系统实现阶段采用了MVC设计模式配合浏览器/服务器架构进行了系统设计,并且使用了Visual Studio 2010作为开发环境,配合SQL Server 2014作为后台数据库,此外在系统测试阶段通过设计完善的测试用例对系统的各个功能模块进行了严格全面的测试。本文在系统开发的各个阶段都结合软件工程的思想进行了设计,并且给与了详细的介绍和阐述,系统开发完成之后通过在学校中的部署和内部测试,该系统具有良好的用户体验和稳定性,并且容易升级维护,数据库有较快的查询响应速度和较高的数据安全性。目前,该系统已在学校的教学和管理部门正式上线运行,情况良好。

关键词： 能源管理   系统软件   性能测试  

摘要： 在现阶段能源管理之中,对于能源管理系统软件的使用已经不可少,并且对于系统软件的性能测试标准也越来越精细,相应的测试标准要求也越来越高.对于能源管理系统的测试也需要借助自动化的性能测试工具才能够得到良好的运用.但是,评估工具的能力成熟度从而为选择恰当的工具提供依据,仍然是性能测试人员面临的主要困难.本文针对能源管理系统提出了一些性能测试要点,并举例进行测试说明,为性能测试提供一个测试框架.

关键词： Gompertz   缺陷预测   软件测试   看板  

摘要： 随着软件领域的日益发展,软件系统的规模和复杂度也在不断提高,在整个软件开发周期引入的缺陷也会越来越多。同时,市场对软件质量要求在不断提高,软件公司在测试方面的投资在加大。面对愈演愈烈的软件市场竞争,软件公司不断地寻求一种良好的解决方法来应对这些问题。于是以阿里巴巴、腾讯、百度为代表的许多软件公司都已经将缺陷预测这一方法引入到了实际的软件测试工作中,并且在软件质量的保证上发挥了巨大的作用。本文将重点讲述A公司在Y操作系统软件测试中实施缺陷预测技术的整个过程。A公司在软件测试方面非常重视。为解决上述这些问题,Y操作系统软件测试团队率先开始着手实施缺陷预测技术。然而团队一直沿用的传统的测试体系对缺陷预测的实施造成了很大的阻扰。针对此现象,Y操作系统软件测试团队做出了改进测试体系、全面实施缺陷预测的重要决定。测试体系的改进是为了应对日益复杂的软件规模,提高测试质量及效率,并且为缺陷预测技术的实施提供一个稳定的环境。而缺陷预测的实施就是为了能全面地把控测试进展,衡量已发现缺陷在整个产品隐藏缺陷中的占比。这样可以大大地缩减整个软件的投入资本,加快软件产品的交付。文章首先对当前比较流行的几种测试模型进行讨论,紧接着对目前软件测试领域常用的几大缺陷预测技术进行了分析,并将他们的优点以及适应环境逐一讨论。其次,为了给缺陷预测的实施提供一个稳定高效的环境,文章中会详细介绍A公司Y操作系统测试团队对测试体系改进的整个过程,其中包括用户故事制定、结对测试的试行以及敏捷看板的全面实施,以此建立一个适合Y操作系统软件产品测试特点的敏捷看板测试体系。最后,也是本人在整个项目中的主要工作,基于Gompertz模型对Y操作系统软件产品进行缺陷预测技术的实施。文章介绍的预测模型结构清晰,利用统计学理论将Gompertz模型的计算过程进行了非常详细的推导,首先运用分段选择法对模型的参数进行初始值的确定,然后再利用高斯牛顿迭代法对模型的参数进行迭代回归,得到模型参数的近似精确值。本人在使用预测模型建模的过程中,使用了验证模型预测值与实际数据之间拟合度的概念,并引入了FR、R2、Rnew、MAD这四个衡量指标,以确定实际数据是否真正符合Gompertz模型。同时为了提高实际预测效率,避免每次使用模型预测时进行大规模的复杂数学公式计算,本人对该预测模型的整个计算过程进行程序化实现,并且给出了Gompertz模型算法的基本实现代码。最后结合Y操作系统软件的实际缺陷数据进行了针对性的缺陷预测实施,并且对实施运行的结果进行了分析。通过在A公司Y操作系统软件测试中的实施发现,使用预测模型对提升软件产品质量以及缩短产品交付时间有着非常重要的意义。

关键词： 计算机   软件测试技术   开发应用  

摘要： 软件测试旨在解决软件中的不足之处,对其深度开发与应用。软件产品销售是否畅销取决于测试过程中问题能够解决,对是否购买软件产品起到决定作用;软件开发商经过对软件的测试表明软件的质量不存在问题,用户则是通过软件测试证明最终是否购买。文章侧重计算机软件测试技术与开发应用进行了阐述。

关键词： 符号执行   软件测试   缓冲区溢出确认  

摘要： 近年来计算机技术与信息产业快速发展,软件已经在人们的日常生活中占据越来越重要的地位。然而随着软件功能和软件复杂性的不断提高,软件缺陷更加容易出现在软件生命周期中。如何保障软件质量是一个重要而严峻的课题,软件测试、静态分析以及程序验证是保障软件质量的重要手段。符号执行是一种非常有前景的程序分析技术,其基本思想是使用符号代替程序的具体输入,分析并收集路径分支的约束条件,通过约束求解器求解路径约束得到测试用例。符号执行技术能够尽可能的探索程序路径空间,并产生高覆盖度的测试用例,然而对于程序结构复杂,存在大量分支或者循环结构的大型实际程序或者系统而言,符号执行极容易产生路径爆炸问题。目前的研究工作针对路径爆炸问题,存在各种路径制导技术、路径剪枝、循环优化等方面的工作。现有的制导技术以及路径剪枝分别关注于提出新的路径分支选择策略或者修剪探索过的路径,从而能够探索新的路径,提高执行效率。现有的循环优化策略针对循环执行次数没有统一的标准,且循环执行次数无法达到某个数值而影响覆盖度或者测试准确性。本文提出不同于以往工作的,分别基于路径剪枝、路径合并符号执行的制导技术,可以缓解执行过程中的路径爆炸问题。我们将其运用于缓冲区溢出警报确认,提高确认效率。本文的工作主要如下：(1)提出特定目标制导与循环可达上界制导相结合的符号执行制导技术。程序中的目标可以是静态分析结果,也可以是程序员指定的特定语句位置,我们的目标制导技术能够引导符号执行的过程,删减与目标不相关的无用路径,缩减状态空间；循环制导能够在缺陷触发或者需要覆盖的路径与循环迭代次数相关时,指导符号执行沿着循环展开最深路径执行。不同现有的循环优化方案,我们能够对循环的执行次数有统一的标准,并且不会因为循环执行次数不够而导致测试精度的问题。(2)提出基于制导符号执行的面向缓冲区溢出缺陷的静态警报确认方法。制导技术应用的基本框架中包含了缓冲区溢出模型定义、状态跟踪、构建约束缺陷、约束求解以及路径分类等方面的工作。确认结果能够将缓冲区溢出静态警报划分为确认溢出、误报以及无法确定三个类别,程序测试人员可以针对不同的类别采用不同的处理方案。由于溢出警报中存在静态目标信息,且缺陷的验证可能依赖于循环执行的次数,所以我们的制导技术能够应用于此。(3)基于上述工作,我们实现了原型工具并通过实验来评估工具的有效性。实验中我们选取植入错误的基准测试程序以及目前已经公布存在缓冲区溢出缺陷的实际程序,从验证准确性,减少验证率,时间空间开销等角度论述本文中提出的方法,实验结果表明在实际开源程序上我们的原型工具能够有效代替人工减少检查缓冲区溢出误报,且我们的制导技术能够有效减少符号执行应用过程中的时间和空间消耗。

关键词： 集成仿真测试   软件测试   业务驱动测试   集成测试  

摘要： 银行业务随着市场经济的发展而迅速开展,并且呈现多元化多渠道发展,软件系统的复杂程度、安全性以及性能的要求越来越高,同时银监会要求在“十二五”期间各银行加强测试管理工作,完善各自的测试管理制度与流程,强化对测试方法的运用,对测试工具的使用与研究要加深,测试自动化程度要进一步提高,测试效率和测试质量要进一步提升。根据山东农村信用社自身业务特点,建立健全测试管理体系,为确保项目建设的顺利进行,将加强项目建设管理,探索应用项目管理工具,建立健全的项目测试管理体系。严格项目建设过程评审,强化项目验收管理,同时针对集成仿真测试系统的需求进一步提升。集成仿真测试系统即可以很有效的提升自身业务系统的健壮性,又可以在大项目中关联程度强的子项目建设过程中,加强系统测试工作。普通自动化测试工具仅仅能按照预制测试用例流程进行测试工作,而由于系统间关联的可变因子导致的测试过程中,测试用例需要及时根据可变因子进行动态调整,保证测试过程顺利进行。如果使用普通自动化测试工具,测试用例编写的工作量将指数级增长,本集成仿真测试平台的主要工作便是利用仿真技术,将可变因子与测试用例整合,在测试过程中进行管理。本系统实现以下的业务目标：1、适用于集成测试的测试规范与标准,实现测试的标准化。测试工作首先要在软件开发前进行需求评审,以及开发过程中文档评审、代码走查等工作介入,最终实现软件监理,实现从事后测试,向质量控制上转型。合理调配资源,跟踪管理测试工作和使测试工作标准化、规范化、形成测试过程中的资源共享。2、仿真测试得到广泛应用。通过集成仿真测试平台实现测试过程减少对测试环境的依赖,实现动态过程测试,由单一自动化测试用例测试,转向自动化测试。仿真测试应用领域越来越广,实现静态测试与动态测试,对业务完整性测试提供完美支持。3、业务场景驱动,全生命周期的软件测试。全生命周期的软件测试,从软件需求产生、软件研发、软件运行直至系统下线的完整生命周期,涵盖单元测试、集成测试、系统测试、UAT测试等。实现业务场景驱动测试,业务链的完整测试,以及端到端的测试,并可追溯。4、软件测试复用。实现测试流程、测试方法、测试案例、测试用例、测试数据、测试中间结果的复用。5、测试工具支持。给单元测试的开发人员提供有效的仿真工具,给行内系统间集成测试提供有效的仿真工具,给第三方(银联、司法等)提供有效的仿真测试工具。