教学课程资源库 更多>>

关键词： 办公自动化   软件测试   SSH架构  

摘要： 计算机技术的普及和网络的不断发展对企业办公方式产生革命性影响,传统纸质办公方式不仅效率低下而且纸质档案保存代价昂贵且不利于快速查询。研发自动化办公系统改变落后的办公方式,实现利用计算机进行自动化办公,提高企业办公效率,成为近年来热门的研究方向。与传统办公方式需要大量的纸张,需要专人对办公文档进行管理,办公效率低下,成本高昂等特点相比,自动化办公方式具有如下方面优点:经济环保、长久保存、快速查询、高效率等优点。因而研究开发自动化办公系统对企业提高办公效率具有重要的意义。本文在通读大量的国内外文献和深入企业进行调查研发后,结合企业的实际需求,采用软件工程的方法,设计并实现了自动化办公管理系统。本课题的主要工作有如下几点:调查研究,通读大量国内外文献,总结和归纳自动化办公系统的发展过程、特点和关键技术点。需求分析,实际深入企业调查,对企业办公现状进行调研并对企业办公自动化进行了需求分析。功能设计,对企业进行了需求分析之后,对企业办公管理系统进行了功能设计和功能模块划分。技术选型,分析当前可使用的编程语言与办公自动化的特点,采用SSH技术对企业办公系统进行编码实现。系统测试,对编码完成后的系统进行测试,查找系统中存在的BUG,并进行修复。实现企业办公自动化管理系统。虽然企业办公自动化管理系统能解决企业纸张浪费,信息传递不及时不方便的问题,提高企业的办公效率,降低企业的成本,但是企业办公自动化管理系统不具备智能性。如今的潮流是将人工智能引进到系统中,使系统更加的智能化,不仅能够提高办公效率而且要帮助企业智能规划,智能决策。对生产数据进行数据挖掘,产生知识等。因此系统的智能化是本文今后的工作方向。

关键词： 测试用例   复用   测试用例复用   测试用例库  

摘要： 软件测试过程中产生的大量测试用例对保证软件的质量起到关键作用,对于专门从事软件测试的机构来说,测试用例的复用尤其重要.在测试用例的设计、选择的基础上,构造出基于复用的测试用例,同时采用测试用例库管理的方法来实现测试用例的复用,可以提高软件测试的工作效率.

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

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

关键词： 工会   软件工程   办公自动化   软件测试  

摘要： 东丽区工会在维护该区域的职工利益方面发挥着非常重要的作用。就目前而言,东丽区工会的办公信息化体系不够完善,缺乏有效的信息化管理手段,人工参与的部分过多,导致各类工作的业务流程比较繁琐,效率非常低下。同时造成了各项资源的严重浪费。本文以此作为出发点,利用计算机技术和软件工程方法,构建一套符合该工会的办公信息化系统。为了实现上述目标,本文按照软件工程中软件生命周期的基本原理,对工会办公系统的各个阶段进行了分析与设计。在需求分析阶段,确定了系统应该具备的功能,主要包括登录模块、社区管理模块、员工管理模块、文档管理模块、公文管理模块、公告管理模块和消息管理模块等,并通过统一建模语言中的用例图对用户的需求进行形式化的描述;在系统总体设计阶段,建立基于***的三层开发模型,同时,按照需求分析阶段形成的需求,进一步细化,得出系统的功能模块,为了表示各个模块之间的关系,用层次结构图进行了刻画。在总体设计的最后,从三个方面进行了数据库的设计。在详细设计阶段,用类图刻划了系统每个模块之间的继承关系;在实现和测试阶段,利用开发工具,进行编码,最后配置测试环境,对系统各个模块进行功能测试。通过该系统的投入使用,能够在提高工会工作效率的同时,带来经济效益和社会效益的提升。

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

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

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

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

关键词： 软件测试   元启发式算法   UML活动图   测试场景生成   测试场景优化  

摘要： 软件测试是保证软件质量和提高软件可靠性的重要技术。随着基于UML模型的软件开发与RUP开发过程的广泛应用,使得基于UML模型的测试逐渐成为基于模型测试的主要研究方向。基于搜索的软件工程问题可以转化为优化问题,优化问题又可以使用元启发式算法解决。其中,在基于UML活动图生成与优化测试场景的问题上,遗传算法是最常用的元启发式算法。在场景生成问题上引入遗传算法,对该问题提供了必然的动力,然而遗传算法局部搜索能力差,在进化后期搜索效率低,导致算法比较费时;并且随着软件规模与复杂度迅猛增长,在测试过程中,很难进行详尽的测试。另外,测试本身还要求在有限的时间内发现尽可能多的错误。因此,需要根据某种需求对场景进行优化,其目的是在有限的时间内将注意力更多地集中在重要且复杂的部分上。1)对于基于UML活动图生成测试场景问题,提出了混合遗传算法,该方法结合遗传算法和爬山算法,解决了遗传算法局部搜索能力差的问题。并且为了避免“早熟”现象,在算法每次进行爬山操作之前调用种群生成函数。与其它算法相比,该算法不仅解决了局部性问题而且能够有效地提高测试场景生成的效率,从而降低测试的成本。2)对于基于UML活动图优化测试场景问题,提出了一种场景优化技术。首先将活动图转化为控制流图;通过DFS遍历控制流图生成所有可能的测试路径;最后对已得到的路径进行优化。该优化算法将遗传算法和粒子群优化算法相结合,利用粒子群优化算法特有的记忆功能,解决遗传算法在种群发生改变时丧失以前信息的缺点。与其它算法相比,该算法不仅能生成一条优先测试的关键测试场景,而且能够大大提高测试场景优化的效率。3)最后,使用一些常用的UML活动图对算法进行说明,并使用Java语言对改进算法进行验证。实验结果表明:改进的算法增强了处理活动图的能力。

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

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

关键词： 软件测试   资源冲突   自动检测   嵌入式软件  

摘要： 共享资源冲突问题是嵌入式软件研制中最常犯的、最不易发现、隐藏最深的问题之一。同时该问题一旦发生,带来的影响后果也极为严重,可能导致软件无法正常运行。然而,目前软件的共享资源冲突检测主要依靠人工代码走查,不但效率低下,耗时耗力,而且要依靠测试人员的测试经验、水平,对测试人员个人要求较高,存在一定漏洞。因此,研究共享资源冲突的自动检测工具是十分必要的。本文在分析了共享资源冲突情况的基础上,针对航天嵌入式软件中最常用的80C51系统和Vx Works系统提出了一种共享资源冲突问题检测的方案,使用C#语言编程,构建winform界面进行用户交互,使用SQL Server数据库存取中间数据,实现了自动检测系统,并进行了相关验证。本系统设计采用基于缺陷的静态分析的方法,通过词法分析、语法分析、语义分析以及软件并发性分析,在软件开发早期对代码进行自动检测,判断是否存在共享资源冲突问题。避免在后期出现资源冲突问题,造成时间、金钱上的浪费甚至更严重的后果。

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

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