教学课程资源库 更多>>

关键词： 待测行为   测试序列   着色Petri网   高覆盖性   低冗余性  

摘要： 并行软件在人们生活生产中扮演着越来越重要的角色。例如常见的网络软件、云计算软件等软件系统都具有并行行为特点。而作为保证软件质量的关键环节,软件测试起着关键作用。然而,并行软件由于其并行特点容易导致状态空间爆炸,而传统软件测试方法无法针对并行软件系统进行高效的测试,通常存在着低覆盖率、高冗余率、低测试效率等问题,因此并行软件测试问题成为研究热点。针对此类问题,本文选择形式化语言CPN(Colored Petri Net,着色Petri网)为待测并行软件系统建立模型,针对并行软件测试问题,做了以下几个方面的工作:(1)针对CPN模型提出面向待测行为的着色Petri网(Tested Behavior Oriented CPN,TBOCPN)的概念,将变迁集合细化为待测行为变迁集合、待测数据流相关行为变迁集合、无关行为变迁集合,进而引出待测相关行为模型单元概念,以描述此次测试目的。(2)提出覆盖并行待测行为的软件测试序列生成方法。首先,基于TBOCPN模型及其状态空间获取单个待测行为得到相关状态子图;其次,根据待测行为相关子图的交集关系划分并发行为集;最后,针对并发行为集,提出了完整的测试序列生成、连接和优化方法达到高覆盖性、低冗余率的并行软件测试效果。(3)针对待测及相关行为执行顺序全覆盖性和算法的低冗余性进行了分析,通过并行软件测试实例进行了本算法与传统测试方法的测试结果分析,从而验证了本算法的高覆盖性、低冗余性。

关键词： Browser/Server模型   SQL   软件测试  

摘要： 随着人们的生活水平的逐步提高,旅游业发展越来越快。而作为中国的旅游大省-云南省,是当今的旅游的热点省份之一,而石林又是云南省最亮的一个景点。当然,在政府相关政策的支持和配合下,中国的旅游业的整个行业结构越来越完备、服务也越来越趋向于专业化。同时,全国各大旅游景点的配套服务设施也开始越来越完善,朝着人性化方向发展。在旅游行业迅速发展的历程当中,以计算机科技、通讯网络科技等数据化技术的兴起,在各行各业也开始迅速的普及并应用,毫无疑问,这在旅游行业也同样如此。而且应用的前景和效益相比其它的行业更加具有吸引力,特别是互联网络的发展和使用,将数字化旅游这个应用推向了更进高的一层次。在将来的旅游行业中,数字化技术将是必需配备的技术和发展的动力之一。正是在这样子的一个背景之下,本项目构建并具体实现了石林旅游景点管理系统。本研究项目是以***、WWW信息服务站点技术、Browser/Server模型、微软的SQL数据库系统为基础,具体地对石林旅游景点管理系统构建和实施过程,尤其是其中的一些重要的设计部分等做了仔细深入的陈述。同时从目前石林的旅游行业的实际情况出发,采用计算机数字化的技术,对石林的信息化进行了全方位的研究和分析。研究和分析的过程一开始从石林旅游的原始需求出发,主要把访问者、公司、景区维护人员等各种类型的人员进行了具体详细的分析,从而分析给出整体的系统架构图;并且在需求分析之上,对系统的各个方面再次进行深入的全方面的构建并进行具体的编程设计。论文设计实现了景点管理、订票管理、酒店管理、保险管理、会员管理、系统管理等功能。在景点管理中。对石林旅游的管理提高了效率。在系统软件基本实现后,采用标准的软件测试文法,对软件进了全方位的测试,并将发现的问题一一消除。本论文工作中对石林数据化的旅游信息管理系统的实现,方便游客的出行,同时为游客先行了解石林的一个窗口。

关键词： 自动站   多线程   数据质量控制   软件测试   oracle  

摘要： 地处南方的广西,属于强降雨区域,而突发性强降水的发生,也是导致山洪等地质灾害的必备条件和直接因素,面对防止此类灾害的需求,当地气象部门提出如下要求,即通过对自动观测站空间密度的增加,实现服务、接收以及处理数据能力的提升,能够更为精细化、短时内完成对降水的预报活动。论文具体阐述了当地自动气象站的数据流程,并探究了其中存在的问题,因当前数据收集后,并未形成统一的标准,使得专业人员无法针对此数据,开展深入的运用和发展工作。依据应用需求,结合当地气象应用服务部门的现状,针对观测数据的处理,研发了包括格式检查、数据采集、合并以及质量控制等在内的一套系统,且结合处理后的数据,对业务流程加以完善,使得自动站在数据的接收到最终应用方面的时效得以缩短,也让全流程监视目标得以实现,确保值班人员可便捷的完成对软件运行、数据流转状况的监视、分析等工作,进而更为准确的形成质量分析结果,为预报员更为准确的开展分析工作,提供基础数据。由此,对可部署于区市县的一套自动站前段数据处理系统开展研发工作,则显得极为必要。系统以linux系统为运行平台,搭建以Oracle数据库为存储介质,Java技术框架为前提进行研发,其跨平台这一特性的充分利用,使得跨平台支持得以实现于系统之上。为适应系统未来几何级数据增长的处理需求,采用多线程与代码封装模块化设计作为该系统数据处理的核心关键支撑,针对不同数据的处理内容,规划四个独立线程模块,各个线程对所辖数据就数据采集、检查格式、合并打包、上传数据、日志归档等进行并发处理和操作,多线程的高效处理机制使得本系统可以将经典的温、湿、风、压等气象要素数据质量控制嵌入至系统当中,兼顾数据传输与数据本地质控解码入库2项关键业务的同时进行,极大的实现了处理时效的提升,确保了数据高效传输,同时提供高可靠和高可用实时数据,为科研项目提供了数据保障支撑。系统的线程之间相互独立,代码模块可以重复利用并封装为接口,具有良好的拓展性,为类似业务流程的整合奠定了基础。

关键词： 软件测试   黑盒测试   组合测试   极小故障模式   故障定位  

摘要： 软件测试不仅是一门重要的计算机学科,同时也是软件开发周期中一个非常关键的过程,可以说,在一定程度上,决定了软件项目的成败。为了测试一个系统是否有错误,准确率100%的测试方法一定是将所有的可能输入(测试用例)测试一遍,但是当测试用例成千上万的时候,穷举方法就显得力不从心,这时候,组合测试应运而生。组合测试是一门被广泛应用于黑盒子测试中的测试技术,它旨在检测出系统中由于参数之间的交互而触发的交互错误。根据引发错误的测试配置定位出导致故障的参数组合,有助于程序开发人员快速找到产生错误的原因,提高开发效率,故研究基于组合测试的故障定位方法有非常重要的现实意义,它是整个软件开发进程中不可或缺的关键一环,是决定整个软件项目质量的重要保证。目前学术界已经提出许多基于组合测试的自适应故障定位方法。本文的目标是以一批TCAS布尔规约测试集的实验数据为实验对象,采用附加测试用例百分比、recall、precision、f-measure等指标,比较和验证当前基于组合测试的自适应的故障定位方法的故障定位效果。除此之外,本文还提出了一种新颖的基于组合测试的自适应故障定位方法——BELF,该方法适用于每个输入参数只有两个可能取值的待测系统。大量的实验结果表明,该算法的故障定位效果要比已有的故障定位方法要好。

关键词： cBSS   软件测试   自动化测试   计费  

摘要： 随着软件测试越来越被重视,测试行业的发展也越规范,测试行业的分工日渐清晰。传统人工测试方式已无法满足互联网推崇的快速支撑,快速应用的理念,人们必须思考新的方法。测试作为质量保证的一个重要手段,软件测试的发展趋势是:测试人员专业化;软件测试自动化;软件测试分工独立化;多种测试方式相结合,共同提高软件测试效率。本次重点是自动化测试,所谓自动化测试就是系统能够通过自动化测试工具或者其他手段,按着测试计划规定的流程进行自动测试,目的是减少人工的投入量,提高回归测试效率,达到提高软件质量及测试效率的目的。

关键词： 信息工程   软件测试   实际应用  

摘要： 进行信息工程建设过程中,其涉及的内容较多,工作比较复杂,投入使用前必须进行测试,否则信息工程中存在问题,不能及时发现,投入运行后出现很多问题,导致系统瘫痪。下面就分析软件测试的作用,分析具体的测试方法,测试技术实践应用情况,希望给有关人士一些借鉴。

关键词： 操作系统原理   毕业生   软件项目管理   计算机网络   软件工程   计算机组成原理   计算机软件   离散数学   软件测试   数据结构与算法  

摘要： (据《2016年上海市普通高等学校招生专业目录》及各校官网信息整理)一、计算机科学与技术1复旦大学该专业要求毕业生深入掌握计算机软件、计算机组织与结构、计算机应用、计算机信息处理和计算机理论方面的专业知识和技能,了解这一领域的理论前沿、发展动态和主流技术,具有一定解决实际问题的能力和创新能力。专业课程包括数字逻辑与部件设计、数据结构、代数结构与数理逻辑、概率论与数理统计、

关键词： 软件测试   自动化测试   测试框架   RFT  

摘要： 自软件测试诞生以来,手动测试一直都占据着测试的主导地位。然而,软件产品的日益复杂性,庞大而重复性的输入输出数据,给手动测试带来了巨大的挑战和困难。自动化测试的引入,不仅为软件产品的质量提供了强有力的保证,更有效释放了人力资源,节约了时间和成本,提高了测试效率。但现有的自动化测试技术和框架存在以下不足:1)传统的脚本录制与回放方式虽然简单易操作,但其录制生成的脚本可靠性差,复用率低,不够稳定;2)数据驱动的测试框架虽然支持数据与脚本分离和大批量数据测试,但却存在脚本与数据文件之间对应关系复杂,数据文件传输格式过多等缺点;3)关键字驱动的测试框架虽然其测试脚本实现简单明了,易读易懂易维护,但其灵活性较差,脚本对框架依赖程度过高。在此背景下,本文研究和开发了一个可复用、易维护、易扩展的自动化测试框架,以提高测试效率,节省测试成本、改善测试质量。首先,本文研究了目前流行的软件测试技术,分析了多种现有的软件自动化测试工具和框架。针对当前自动化测试框架存在的不足,结合实际业务需求,提出了基于RFT(Rational Functional Tester)的动态对象自动化测试框架的技术方案,设计了基于Objects(测试对象)、Tasks(测试任务)、Test Cases(测试用例)和Test Suites(测试用例组)四层架构。在此基础之上,本文研究了自动化测试框架的关键技术,详细设计了测试对象类与测试对象的动态识别机制,实现了对测试对象的动态识别与捕获;详细设计了高速缓存机制与测试对象识别属性的选择机制,提高了测试对象识别的效率与准确率;详细设计了基础控件的封装以及测试任务层中的AppObject类与Function类,实现了测试脚本分层;详细设计了测试框架的主控程序和用例基类,实现了测试脚本的规范运行。最后,本文对该框架进行了功能测试与多平台测试。并在实际的测试工作中对该框架进行了部署实施与具体运用。测试和试运行结果表明,本框架能快速部署、移植并正确运行在多系统环境下,实现了对测试对象的动态识别与快速捕获,缩短了测试周期,提高了测试效率。

关键词： B/S架构   网络系统   数据库访问   性能提升   Spring框架   软件测试   JMeter  

摘要： 随着社会信息化进程的不断加快,全球信息化已成为不可阻挡的趋势。为了满足当前业务的需求,基于B/S架构的网络系统对传统的基于C/S架构的网络系统造成了冲击。当今社会的信息量呈现爆炸性的增长,企业级别的B/S网络系统大都面临着巨大的运行压力,访问系统的用户越来越多,数据库中存储的数据越来越臃肿,网络数据传输的压力越来越大,这一系列的现状给数据库访问性能带来了极大的挑战,传统的数据库访问技术已经无法满足当今用户的需求。如何在保证用户体验流畅的同时,还能保证系统的稳定性以及业务执行的正确性,这是目前开发人员需要解决的主要问题之一。本文查阅了相关文献资料,对B/S网络系统的发展现状和数据库访问性能优化技术的研究现状进行了总结分析,在此基础上,归纳了相关的理论基础与关键技术,然后对B/S架构网络系统所面临的性能问题进行研究,对目前计算机存储层次结构进行研究,确定了数据库访问性能的瓶颈所在,从而提出了从程序设计角度出发的高性价比优化准则,依照优化准则,本文研究了数据库访问性能优化相关技术,包括数据库连接池技术、SQL分页技术、数据库索引技术、数据库数据缓存技术,对这些技术的基本实现原理进行深入的研究,结合Spring框架,将本文研究的优化技术应用于实际系统,分析了优化技术的应用实现方法,最后使用JMeter测试工具,分别对使用数据库访问性能优化技术前和使用优化技术后的数据访问效率进行了对比测试。结果表明数据库连接池技术、SQL分页技术、数据库索引技术、数据库数据缓存技术的应用能大大减少系统的响应时间,有效优化了数据库的访问效率。

关键词： Effort   platform   project management   software estimation   testing  

摘要： Software estimation research has primarily focused on software effort involved in direct software development. As more and more organizations buy instead of building software, more effort is spent on software testing and project management. In this empirical study, the effect of program duration, computer platform, and software development tool (SDT) on program testing effort and project management effort is studied. The study results point to program duration and software tool as significant determinants of testing and management effort. Computer platform, however, does not have an effect on testing and management effort. Furthermore, the mean testing effort for third generation (3G) development environment was significantly higher than the mean testing effort for fourth generation (4G) environments that used IDE. In addition, the management effort for 4G environment projects without the use of IDE was lower than nonprogramming report generation projects.