教学课程资源库 更多>>

ISBN: (纸本)9787111532705

关键词： 协同   软件测试   UML建模  

摘要： 随着软件开发的日益成熟和发展,越来越多的软件系统呈增量发展态势,随着这种研发模式与测试用例的增长,软件产品测试往往采用多次回归的测试方法,基于此种测试方法,使得测试用例、测试运行管理等执行难度越来越大。一个品质优良的辅助软件管理系统能从根本上解决客户需求,解决部分存在的现代管理软件的短板,从而解决客户的问题,降低了软件测试成本,为软件产品的稳定运行提供了保障。通过对软件测试业务的开展,开发人员利用***技术设计并实现了协同软件测试管理系统,其中系统管理模块、项目管理模块、需求管理模块和用例库管理模块构成了该软件的主要界面。本软件的主界面的从属界面的主要特点是简单、明了,软件的最人性化的地方当属可以根据客户的操作习惯来进行设置系统部分功能。该软件管理系统具有功能齐全、执行环境要求不高、查询方便等特点。通过协同软件测试管理系统实现了对软件测试的全程跟踪和实时管理等功能,使得系统管理员、开发人员和测试人员之间的工作更加协调。在测试用例异常的时候,该平台能即时反映情况并产生问题报告,与此同时该平台会对问题报告的状态进行有效记录和实时更新。在测试工作结束之后,该平台能精确对测试结果进行分析,为用户了解测试情况提供了有效信息。通过该平台,其中测试的功能是解决产品的性能问题,通过将软件系统应用到现实事例中,进而探讨产品会产生的根本问题,进而简化系统的操作流程,规范系统的建设架构,进而提高系统解决实际问题的反应速度。本文所涉及的动态测试系统从多个角度解决了静态检测方法中的问题。系统目前的存在状态就是能解决客户最基本的要求,完成对客户的痛点的探究,能够满足对系统应用动态测试的功能。协同软件测试管理系统顺利地完成了系统功能需求中的用户管理等业务功能,符合当前大多数IT公司对协同软件测试管理的需求管理。性能验证结果也符合该系统的性能需求,达到了该系统的开发目的。

关键词： 列控中心   区间改变运行方向   UML状态图   软件测试   测试路径   测试用例  

摘要： 随着铁路信号设备逐步电子化,以计算机为核心的信号设备逐步成为主要的信号安全关键设备,成为铁路安全运营的保障。列控中心是列控系统的重要组成部分,是安全性、可靠性以及实时性要求都比较高的设备,对于列控中心软件的安全性测试,成为列控中心软件投入使用之前保证其质量的一项重要任务。而区间改变运行方向功能是列控中心功能重要组成部分,因此,研究列控中心区间改变运行方向功能的测试方法,对于进一步研究列控中心测试有促进作用,对于形成系统的列控系统测试理论和测试方法以及开发先进的测试平台有着重要意义。本文在对列控中心改变运行方向功能技术规范进行需求分析的基础上,建立UML状态图层次化模型,基于UML状态图模型得到自动生成测试路径的方法,根据模型和测试路径得到测试用例输入和输出。首先,建立UML状态图层次化模型,包括3层：逻辑场景层、逻辑关联层和输入输出接口层模型。其次,将逻辑场景层状态图模型转化为有向图,根据图覆盖准则,得到逻辑场景层有向图边覆盖测试需求；利用广度优先搜索算法搜索逻辑场景层有向图,得到广度优先生成树;利用生成树中完整路径扩展所有生成树路径为完整测试路径,最终得到逻辑场景层UML状态图模型的完整测试路径集合。然后,对于得到的每条测试路径,根据路径上每条迁移的逻辑表达式,分解出每个逻辑表达式中每个逻辑关联层变量,逐层搜索分解各个变量,直到搜索出所有变量对应的输入输出接口层状态图,得到所有输入接口变量输入组合。最后,利用输入组合驱动逻辑关联层和逻辑场景层中各UML状态图发生状态转移,依据所发生的状态转移确定各输入的输出信息。最终得到路径上各迁移条件相应的测试用例输入和输出。论文针对列控中心改变运行方向功能,建立UML状态图分层模型,基于模型得到测试路径以及测试路径对应测试用例的输入和输出。因此,本文主要研究的测试方法就是分析需求规范,建立UML状态图模型,从模型自动生成测试路径和测试用例的输入和输出。这为自动生成各种测试用例脚本以及开发自动化测试平台打下基础,对于实现列控中心自动化测试具有重要意义。

ISBN: (纸本)9787517044116

关键词： 高职院校   计算机软件测试   创新能力   培养  

摘要： 随着科学技术的不断发展,软件测试行业发展迅速,成为当前市场上紧缺的行业,受到了人们的广泛关注。高职院校开办了计算机软件测试教学课程,重在培养学生的创新能力。本文通过笔者自己的教学实践,在文中论述了如何改变计算机的教学方法和教学手段,灌输学生的创新思想意识,以便符合当前对计算机人才培养的需求。要想提高学生的计算机软件测试能力,必须要注重对学生创新能力的培养,强化学生的实践能力。

关键词： 软件测试   测试覆盖准则   控制流覆盖   符号执行   缓存区溢出  

摘要： 软件测试是软件质量保障的重要途径,在工业界得到广泛应用。但是由于穷尽测试的成本极高,因此现实中度量测试的充分程度成为软件测试领域一个重要问题。基于控制流的软件测试覆盖准则正是在此基础上被提出,通过度量测试过程中不同事件的发生情况来理解程序的行为并判断测试的充分程度。传统的控制流覆盖准则,如语句覆盖、分支覆盖,相对易于理解和实现,因此应用较为广泛。但是,由于语句和分支所包含的信息较少,这些覆盖准则不能很好的展示程序的行为;而路径覆盖准则能够以较细的粒度来捕获程序的行为,但是由于程序中路径爆炸、路径不可达等问题的存在,实现这一准则的成本很高,难以广泛使用。因此,现有的各种基于控制流的测试覆盖准则不仅形式上存在差异,而且从分支覆盖到路径覆盖之间存在巨大的复杂度和成本鸿沟,难以形成连续、统一的测试覆盖谱系,使得工业界难以细粒度地控制和判断测试投入。另一方面,在选定覆盖准则以后,如何有效地生成测试用例是软件测试需要解决的又一重要问题。符号执行技术通过探索遍历程序路径空间自动地生成测试用例,但是由于程序路径空间十分庞大,需要有效的方法和技术制导符号执行以提高测试用例生成效率、降低成本。本文围绕建立统一的软件测试控制流覆盖准则体系及其上的符号执行制导技术展开研究工作,具体包括以下几个方面：1.提出一种统一的软件测试控制流覆盖准则体系-Length-n Subpath Cover-age Criterion (LSC(n))。通过衡量程序中的Length-n Subpath,即连续n个分支组成的子路径的覆盖情况来灵活地获取从分支覆盖到路径覆盖之间的程序频谱,为工业界细粒度、连续地控制和判断测试投入提供支持。2.基于LSC(n),提出了面向程序中罕至部分的符号执行制导策略。根据已探索部分的LSC(n)频率,选取执行频率最低的Length-n Subpath对应的执行进行进一步的探索,并在符号执行引擎KLEE上实现了对应的制导策略。实验表明,该方法可以有效地指导符号执行快速的对程序整体进行覆盖、发现程序中的错误。3.基于LSC(n),提出了面向程序中重点区域的符号执行制导策略。针对测试人员需要对程序中的某些部分进行重点的测试和检查这一应用场景,结合符号执行过程中已探索部分的LSC(n)频率及对重点部分的覆盖情况为每个Length-n Subpath设置了一个权值,并选择权值最高的Length-n Subpath对应的执行进行进一步的探索；基于以上方法,在符号执行引擎KLEE上实现了对应的制导策略,实验表明,该方法可以更好地在重点部分进行探索,并产生相应的测试用例。4.基于LSC(n),提出了面向程序中特定目标组的符号执行制导策略。相对于对程序进行全面或局部的探索,指导符号执行针对特定目标组(如关键语句或操作)能够更加有效的减少探索的路径空间。针对用户给定的特定目标语句组,计算出能覆盖该语句组的所有Length-n Subpath集合,指导符号执行在探索过程中枝剪不属于该集合的Length-n Subpath对应的执行,使符号执行仅关注覆盖目标语句组的路径。在此基础上,以静态分析技术给出的缺陷警报信息为目标组实例,结合缓存区溢出这一特定问题实现了缓存区溢出缺陷警报审查和修复工具,实验表明,针对缺陷警报信息进行探索可以有效的提高搜索效率,同时能根据符号执行过程中的信息分辨缺陷的真实性。

关键词： 地理信息系统   软件测试   平安城市   应急指挥系统  

摘要： 随着信息技术的飞速发展,GIS软件产品已广泛应用于几乎与地理坐标相关的所有领域,软件的规模和复杂度都有很大的提高。因此,提高软件质量及可靠性已成为当前软件工程领域的重要任务。软件测试是保障软件质量的有效手段。本文以平安城市领域的应急指挥系统为例,着重介绍在应急指挥系统中软件测试方法以及存在的问题。

关键词： 软件测试   测试过程优化   度量   故障类型   软件属性   软件测试管理平台  

摘要： 软件缺陷是软件产品的固有属性,由缺陷带来的软件质量问题给社会生活带来巨大损失的例子数不胜数。而在目前由于形式化验证和程序正确性证明的研究还处于起步阶段,软件测试作为保证软件质量的有效手段之一,是目前软件工程领域的一个重要研究方面。在软件测试过程中,对于测试过程的优化可以提高测试质量,从而提高软件产品质量。自动化测试近年来发展迅速,然而目前占据主导地位的仍然是手工测试。而在手工测试过程中,软件度量、测试用例规模、测试技术以及测试用例分配比例的确定是一个重点也是难点问题。此外,在测试过程中,测试管理工具的使用同样会对测试过程起到优化作用。因此,在本文中,主要从软件度量、测试技术选择和用例分配方面进行软件测试过程优化的研究:第一,基于度量的测试过程优化研究。根据软件度量和GQM方法提出了一个指导测试过程优化的方法,为测试过程优化提供指导方向。第二,基于软件故障类型的测试过程优化研究。在软件故障类型预测的基础上提出了一个测试用例分配比例的方法,从而达到优化软件测试过程的目标。第三,基于软件属性特征的测试过程优化研究。在软件属性特征基础上进行测试用例规模估算、测试用例比例分配,从而达到优化测试过程的目标。经过实证研究发现,所提出的三种测试过程优化方法能够有效地提高故障检测率,达到优化测试过程的目的。同时,在上述研究基础上,参考国内外众多测试管理工具,开发了一个符合通用测试流程,并提供测试过程优化的软件测试管理平台。

关键词： 模型化简工具   CP-nets   迹等价   软件测试  

摘要： 随着软件产业迅速发展,并行软件系统已经成为主流的软件系统,在人们的生产生活中发挥着十分重要的作用。软件测试是软件生命周期中一项非常重要的工作,对于保证软件产品的质量具有极其重要的意义。然而由于并行软件中存在的并行行为,导致并行软件状态空间规模非常大,甚至呈指数级增长,从而影响软件产品测试工作的顺利进行。当前,工业界和学术界使用的一些测试方法也因为并行软件的状态空间规模过大而无法有效地进行测试工作。本文认为可以使用形式化建模语言CP-nets (Coloured Petri nets)对待测的并行软件系统进行建模,CP-nets适合于描述并行行为,而且引入了数据操作和数据类型的概念,使得模型更加直观清晰、易于理解。基于待测并行软件系统的CP-nets模型及其状态空间进行测试是非常有效的方法。然而,并行软件系统的CP-nets模型仍然具有较大的状态空间,导致测试效果和效率都非常差。因此,本文设计并实现一套CP-nets模型迹等价化简工具,以待测软件系统的CP-nets模型文件作为输入,自动完成符合迹等价化简条件的化简工作,包括有向弧重定向、弧表达式重写等,并自动输出化简后的CP-nets模型。在并行系统模型中化简符合条件的模型元素,其并行特点决定了模型的状态空间规模会大幅下降。迹等价指的是输入输出行为等价,软件功能测试只关注系统输入输出行为而不关注内部不可观察行为。因此,基于化简后的系统模型进行测试,不但不会影响测试工作的正确性,还会因其状态空间规模的下降而提升测试的效果和效率。最后,通过化简实例分析与论证,说明本文所实现的CP-nets模型迹等价化简工具能够对符合迹等价化简条件的CP-nets模型进行有效地化简,从而减少系统模型的状态空间规模,提升测试效果和效率,提高软件产品开发质量。

关键词： 软件工程专业   软件测试课程   教学改革  

摘要： 作为高职院校计算机软件专业的一门新课程,软件测试在教学过程中还存在很多问题,这就对高职软件工程专业软件测试课程的健康发展造成一定影响,对此,本文从软件测试课程的概述出发,分析了当前高职软件工程专业软件测试教学现状,并提出了高职软件工程专业软件测试课程的改革方法。