教学课程资源库 更多>>

关键词： 软件测试   用例自动生成   区间运算   分支限界  

摘要： 软件测试是保证软件质量的重要方法。单元测试是对被测程序最小单元或模块进行的测试,通常分为测试用例生成、测试用例执行和测试结果统计三个阶段,其中生成测试用例通常由测试人员手动完成。由于单元测试的巨大工作量及其高重复性,因而需要投入大量的人力和时间。单元测试的自动化测试,尤其是测试用例自动生成技术的发展在一定程度上解决了手动测试效率低和失误率高的问题,推动了软件测试的发展,成为软件测试领域的研究热点。在面向路径的单元测试中,目标路径上的约束集合求解问题是测试用例自动生成问题的一个难点。由于被测约束系统的复杂性以及求解算法的约束性,测试用例自动生成的效率以及生成用例的正确率往往不高。本文围绕提高单元测试中的测试用例自动生成效率问题,在分支限界测试用例框架和区间运算的基础上提出了基于语义分析和区间运算的库函数约束求解策略,用以求解目标路径中库函数约束;基于迭代技术和区间运算的区间一致性判定策略,用以消除路径中约束的处理顺序对区间运算结果的影响,同时削减变量区间;基于变量相关性的跳跃式回溯策略用以避免不必要的回溯和回退过程,减少区间运算次数;约束变换策略将待测路径中的一些非四则运算转换成区间运算可以处理的四则运算形式,通过辅助变量赋值加速求解目标路径上的约束集合。作者在代码测试系统(CodeTest System,CTS)中编码实现了上述四种策略,并通过相关实验来检测这些策略在加速测试用例自动生成方面的有效性。实验结果表明本文提出的策略对于减少测试用例自动生成的时间,提高测试用例自动生成的效率有明显的作用。

关键词： 房地产销售管理   软件工程   统一建模语言   软件测试  

摘要： 在市场经济较为发达同时同业竞争较为激烈的时代下,客户显然成为了决定公司未来发展的重要环节之一,获得了客户的青睐、在客户中拥有着良好的口碑对于公司发展有着积极的意义,因此管理学中客户关系管理的概念受到越来越多的公司、学者的青睐,此类学者积极研究着客户的行为活动,旨在加大对于客户关系的研究投资比例,通过在客户关系上的丰富投资拉动企业业务服务质量的提高,增强市场竞争力。信息化技术与房地产市场的迎合造就了房地产客户关系管理的信息化工具,以客户为中心积极为客户寻找可靠的房源,最终目标是提高销售效率,缩短销售流程、减少销售时间、提升客户满意度,因此在当前较为火爆的房地产市场中使用信息化管理有着积极的意义。房地产销售综合管理系统可以划分为四个模块,分别为销售管理、市场营销管理、客户资源管理以及财务管理。销售管理系统可以划分为订单信息管理、代理商管理、动态库存管理以及业务流程管理；市场营销管理可以划分为营销活动管理、市场资料管理以及统计分析与决策；客户资源管理可以划分为客户需求管理、基本信息管理以及服务合同管理三个部分；财务管理子系统可以划分为付款管理、收款管理、报表统计以及往来账管理四个模块。本文使用统一建模语言对系统进行建模分析,借助用例图对系统功能进行建模,使用数据流图描述系统数据依赖关系,使用实体关系模型对系统中存在的实体进行建模,使用顺序图描述系统多个模块之间的交互关系,使用活动图描述系统活动的顺序或并行的依赖关系,使用程序流程图设计系统函数的功能流程。系统经过紧张而有序的设计与实现,能够满足客户需求,在进行系统功能测试阶段,使用黑盒以及白盒测试方法,对系统功能进行了较为细致地集成测试,经测试表明,当前系统运行稳定,能够为客户提供服务。

关键词： Android   自动化测试技术   单元测试   性能测试   白盒测试  

摘要： 全一快递扫描宝APP客户端,是全一快递IT部自主研发的一款Android应用软件,该系统是以日常扫描作业业务为核心,集合业务员日常操作业务,以信息技术为手段,最终打造成公司业务管理一体化的管理系统,搭建公司高层与一线外务员沟通的桥梁,切实聆听一线外务员的心声与建议。扫描宝的研发及最终上线还将会为公司节省采购原扫描设备把枪的成本,所以从公司发展和公司成本的角度来考虑,此项目的研发是很有必要的,也将会为公司带来一些收益。本系统是为公司内部员工一线外务员使用的,作为一款日常操作的APP系统,其作业直接影响到公司的运营质量,也影响公司对外的形象,对功能与性能有着非常高的要求。因此,测试的工作将是非常有必要而且很重要的,本文研究的内容就从这个项目着手,主要研究目的就是为了发现项目中存在的问题,提交开发中心并最终解决。为此,本文以提高测试效率及完善测试体系为主要研究目标,结合公司目前的现状,综合运用现有的测试理论及Android平台手机软件运行特点,对公司的项目进行测试,形成一个公司内部可用的自动化测试框架,真正的用于企业的项目之中,为公司创造更大的价值。本文从以下几个方面进行研究:1.进行测试方案的确定,结合现有的Android自动化测试技术,引入自动化测试工具,包括单元测试工具、性能测试工具和录制回放工具,设计出一种通用的测试方案,形成一套完善的自动化测试流程和体系。2.测试场景的设计,功能方面针对不同的业务模块设计不同的测试用例,性能方面根据单用户和多用户的并发、不同的时间点进行测试。3.具体的测试实现,在确定完测试方案和设计完测试场景后,用设计的具体方法和Android自动化测试工具进行实际的测试研究。4.对测试结果进行分析,确保系统的可用性,也要保证性能的稳定性,这些都需要通过测试来进行验证,把验证的结果形成测试文档,如有跟需求不同之处,则返回开发进行修复。

ISBN: (纸本)9787115412935

关键词： 软件测试   动态符号执行   符号摘要  

摘要： 近年来,由于恶意软件和网络攻击日益增加,软件安全问题得到了越来越多的重视。软件测试是保证软件安全性与稳定性的重要环节。随着软件规模的增大,传统的软件测试方法已无法满足目前的需求。动态符号执行自提出以来,经过多年的发展,已成为该领域的一项重要技术,该技术通过对被测程序进行符号执行,搜集程序执行的路径信息,能够自动化生成测试用例,并对被测程序进行不同路径的探索。虽然有诸多的优点,但动态符号执行技术目前主要还处于学术研究阶段,并未被广泛运用于工业界,原因是其还面临诸如路径爆炸、浮点数运算、符号指针等多方面的问题,其中路径爆炸问题是最主要的技术难题。由于路径爆炸问题的存在,动态符号执行工具在合理的时间范围内只能完成小部分的路径探索,代码覆盖率较低,严重影响了工具的性能。路径爆炸是目前无法解决的问题,为此,本文从优化动态符号执行效率角度出发,提出了一种全新的动态符号执行优化方法,该方法通过提高符号执行的速度,达到整体性能提升的目的。本文对动态符号执行的执行方式和流程进行了详细分析,在此基础之上,提出了基于符号摘要的方法,该方法从优化执行效率的角度出发,结合了动态符号执行路径探索的特点,最大化利用了每次符号执行搜集的信息,避免了大量重复的工作,从而提高整体的执行效率。为了验证方法的有效性,本文设计并实现了CTSS的原型系统,并对该系统进行了实验分析。实验结果证明该方法能够提升动态符号执行效率。

关键词： 自动售检票系统   自动售票机   发卡子系统   分层架构设计   软件测试  

摘要： 现代社会大中型城市普遍面临交通拥堵的问题,城市轨道交通以其便捷快速、准时、运量大的特点成为城市交通建设的首选方案。地铁自动售检票系统(AFC, Automatic Fare Collection)是轨道交通建设运营的核心子系统,实现了售票、检票、计费及数据统计分析的全程自动化管理。自动售票机(TVM, Ticket Vending Machine)是AFC系统的关键设备,然而在这一方面却没有完全实现国产化。近年来,我国城市轨道交通建设快速发展。基于自动售票检票系统的巨大需求及国产化的紧迫要求,我们有必要对自动售票机进行研究。本论文首先对当前国内外AFC领域的研究现状进行了分析,重点分析了国内在AFC及TVM研究领域存在的问题,通过分析AFC在交通运输方面的巨大优势及TVM国产化的问题表明了本课题研究的重要意义。本论文以无锡地铁二号线AFC系统为研究背景,从TVM的功能要求和性能要求方面进行需求分析并完成了系统的分层架构设计,给出了发卡子系统的模块划分,结合系统开发中选择的关键技术(UML建模、软件复用和多线程技术)、采用面向对象设计方法对发卡子系统各业务模块进行了详细设计与实现。最后设计一批测试用例对本项目实现的子系统进行测试与分析,测试结果表明该系统满足了设计目标,具备了上线运行的能力。最后,说明了本系统设计中还存在的一些缺陷和不足,并提出一些建设性意见,希望对今后该领域的研究发展提供一些参考。

关键词： 采购招标系统   信息管理系统   软件开发   系统设计   软件测试  

摘要： 传统的采购招标管理方式存在着诸多不足,例如人工工作量大,效率低,管理流程复杂,易出错等等,相比目前信息化时代对招标采购信息的大量需求显得力不从心,已经不能满足招标采购管理部门的需要。而电子招标系统却可以将人们从机械劳动中解放出来,使得企业的工作效率和服务质量都有提升。另外,电子招标系统还能够规范管理机制以及监督机制,增加招标过程的公开透明化,也可以更合理的利用资源。本人所在的招标代理公司,服务于中国移动通信集团公司(简称“中国移动”)经过多年的发展,公司业务的快速增长,业务规模的不断扩大,公司的传统招投标业务管理模式已经越来越不能适应现代化招投标工作的要求,同时加强公司内部质量管控、提高工作效率也变得越来越迫切。在这样的背景下,通过对单位采购招标管理人员职责以及对应的业务流程进行全面的调研之后,与业务人员一同研究了适用于本单位实际情况的电子采购招标系统,并且利用软件工程的理论对此进行建模,在需求分析的阶段采用了UML用例图的方式进行描述,而在详细设计阶段则采用了流程图和类图进行对象的设计,其中数据库的设计是采用了ER图配合关系数据库表的方式,在最后的实现阶段采用了C++语言,以及Visual Studio 2015开发环境配合MFC微软基础类库进行系统的开发,最后在测试环节中针对系统中的各个模块设计了全面的测试用例,确保测试工作顺利详细完整。软件工程的思想中的每一个步骤在本项目的开发过程中都有所体现,并且针对每一个环节都有详细的图文说明和阐述,系统目前已经全部开发完成,已经在本单位中部署完毕,系统具有较快的响应速度和用户体验,具有一定的实用和理论价值。

关键词： 软件安全   软件测试   静态分析   符号执行  

摘要： 目前常用的软件缺陷检测技术包括动态测试和静态分析,静态分析技术因其具有检测效率高和成本低的优点而被广泛应用。如今已经有很多基于静态分析技术实现的的工具,但是这些工具对于某些缺陷的检测能力仍有不足,不能够达到开发或者测试人员的要求,所以需要进步一研究。本文所设计并实现的工具是国防基础研究计划项目“软件缺陷发现平台”中静态分析模块的一部分。由于静态分析模块中采用的开源静态分析工具对数组越界和永真永假条件缺陷的检测能力较差,所以需要设计一个静态分析工具来增强该模块的缺陷检测能力。本文介绍了静态分析技术、静态分析工具以及相关缺陷检测技术的发展现状和前人的研究成果,分析了缺陷的检测难度和难点,在此基础上,设计并实现了一个基于符号执行的静态分析工具,用于检测上述两个问题。本工具针对两类缺陷分别设计并实现了对应的缺陷检测器以便于后期扩展检测能力。本工具的检测原理为从源代码生成抽象语法树,根据抽象语法树生成控制流图和函数调用图,在遍历控制流图的时候执行缺陷检测器,以此来检测相关缺陷。最后本文采用标准缺陷函数对本工具的检测能力进行测试。测试表明该工具能够检测出数组越界和永真永假条件两类缺陷,达到了工具的预期目标。

关键词： 软件测试   集成开发环境   缺陷管理   插件  

摘要： 近年来随着软件技术的迅速发展,软件质量水平受到了越来越多的重视。目前集成开发环境已经非常成熟,而传统代码测试工具常以客户端软件形式存在,导致开发环境和测试环境的分离,给源代码的缺陷管理工作带来了困难。而Eclipse是一个开放源代码的、基于Java的可扩展集成开发平台,为应用程序开发提供了完善的组件管理机制,免去了众多重复性工作。因此,本文研究了一种基于Eclipse集成开发平台的源代码缺陷管理方法及其系统。首先对集成开发平台下的软件开发现状和软件测试方法等研究背景展开调研工作,然后对集成环境下的功能开发所涉及到的技术展开研究,包括OSGi框架模型、Eclipse平台体系结构、Eclipse插件开发原理及其理论基础等。在此基础上明确了源代码缺陷管理方法的实现方式采用Eclipse插件形式,分析了其功能模块主要包括缺陷检测模式配置、结果数据存放路径配置、工程/目录/文件测试、缺陷检测结果展示、结果分析处理、缺陷结果报表导出以及界面管理七个部分。而具体实现部分则主要从插件启动配置、插件功能配置、缺陷检测以及缺陷结果分析处理四个方面完成。采用Eclipse插件方式实现缺陷管理方法后,设计相关实验进行验证。首先进行了缺陷管理插件的安装使用验证实验,确认了缺陷管理方法的有效性。再通过对比缺陷管理插件和DTS针对同一目标的检测结果,以及针对集合关系的目录和文件的缺陷结果分析,确认了代码缺陷管理插件的正确性和完整性。

关键词： 本体   软件测试   测试用例   SWRL   JESS  

摘要： 软件测试在目前的软件研发工作中的占的比重越来越大,针对GUI的软件测试一般来说包括测试路径和测试数据两部分,测试路径和数据的选择是否合理和全面是软件测试工作非常重要的部分,目前GUI软件测试已经引入了自动化测试技术,能够执行一些人工参与度小,并且需要重复执行的工作,但是自动化脚本的生成和维护仍然需要很多额外的人工参与。本文引入知识库,首先阐述了软件测试用例生成办法的现状和背景,分析了它们存在的缺乏对待测系统形式化表达,以及不利于对测试用例的维护等现状,本文通过引入本体模型和推理规则来解决以上问题。本文通过建立通用的软件本体模型,包括了软件的基本信息和它们之间的约束关系,然后实例化出本文的待测软件(车辆管理系统)的模型,并且利用基于OWL的本体编辑器protégé进行本体的形式化表达。然后建立了符合业务逻辑的规则,利用SWRL语言进行了表达。然后将SWRL规则和OWL本体转换为Jess规则和Jess事实,并且推理出测试用例,接着利用编写的基于Jena的脚本生成程序将用例自动生成为脚本语言,本文选取了车辆管理系统的登录流程和加油流程两个方面进行了测试用例和脚本的自动生成,对生成的结果进行了质量分析,并且在Rational Robot平台上进行了验证。