教学课程资源库 更多>>

关键词： 计算机软件   测试技术   保护技术   硬件   软件  

摘要： 随着软件行业的不断发展，人们对软件功能要求不断提高的同时，对软件质量问题也日渐关注，计算机软件测试与保护技术是保证软件质量的有效手段。因此，我们应加大对软件测试和保护技术的研究力度，为软件行业的发展打下坚实的基础。

关键词： 覆盖阵列   正交阵列   软件测试   传递群  

摘要： 混合覆盖阵列)是一个k×N阶矩阵,每一个t×N的子矩阵包含所有可能的t×1维列向量至少一次,且列向量的的元素取自Π(i=1)k,Vi,Vi为含vi的集合,其中t是矩阵的强度,k为矩阵的宽度.由于覆盖阵列与软件测试有着密切的联系.所以近年来覆盖阵列引起了很多学者的广泛关注,并且取得了很好的结果.本文构造强度t=3,k=3,4,5,6时的混合覆盖阵列,给出了它们的上界；进一步通过改进的方法,构造了强度t=3,k≥7时的混合覆盖阵列,并证明了强度t=3,k≥7时的混合覆盖阵列数的上界. 本文由四部分组成： 第一章介绍了覆盖阵列的一些基本概念和目前国内外研究状况,并且给出了本文所用到的符号表示和本文的主要工作. 第二章构造了k=3,4,5,6,强度t=3时的混合覆盖阵列并给出了它们的上界,进一步指出了在某些特殊情况下覆盖阵列可达到最优. 第三章进一步运用不同于第二章的方法构造了强度t=3,k≥7的混合覆盖阵列,并给出了它的上界.第四章指出了需要进一步研究的问题.

关键词： 软件测试   云计算   可靠性分析   虚拟机  

摘要： 云计算已经成为当前信息技术的主要趋势之一。云计算基于虚拟化技术，可实现资源和规模的动态调整，因而部署在其上的软件的架构、开发技术、测试平台和测试方法都显著区别于传统体系。随着云环境下软件代码量和复杂度的不断增加，软件测试扮演着日益重要的作用。现有可靠性测试方案主要面向传统的单机或节点相对少的分布式环境，大多基于所实现的测试平台传递命令到待测节点，再基于节点的状态分析可靠性，并未充分考虑效率问题和环境的变化。因此，在面对云环境时，一方面，这些方案既无法高效地同时测试、分析成千上万的节点，也无法应对其中复杂多变的网络和软硬件环境；另一方面，这些方案多预先集成某些测试模块，不具有可扩展性，无法全面测试、分析云环境的可靠性，其结果缺乏可信性和完备性。实现面向云环境的可靠性测试系统的高效性、可扩展性和准确性已成为一大挑战。 云平台可靠性测试系统（简称为CloudDTB, A Dependability Test Bed for CloudComputing Systems）基于伸缩性良好的零消息传输协议（ZMTP, Zero MessageTransport Protocol）在传输层和应用层间实现了一个新的通讯中间件和一个支持异步I/O、高度封装Socket的库，并基于该库实现了一个高效、可靠的消息通信机制，以保证高效性和伸缩性；其次，采用基于安全壳（SSH, Secure Shell）协议和哈希的验证匹配技术，CloudDTB可以在动态多变的云环境中精确定位测试目标，保证准确率；再次，借助自定义的挂载策略，CloudDTB可以方便的扩展以支持多种测试场景，可扩展性良好；最后，CloudDTB实现了一个支持多级日志的库函数以详细描述测试信息。 实验结果表明，CloudDTB拥有高效的通讯机制，平均每秒可以发送10万条、接收4万条单条大小为1KB的消息；伸缩性良好，支持对云环境内的数千台节点同时测试分析，定位的准确率为100%；具有良好的可扩展性，可以自主挂载不同的测试模块、配置不同的测试用例；能够生成详细的测试描述信息。

关键词： 企业信息化   移动代维系统   MVC框架   数据缓存   软件测试  

摘要： 随着国内外信息化的程度越来越高,企业资源的信息化管理也逐渐成为一种趋势。企业的信息化管理不但可以提高企业的管理效率,同时能够节约企业的管理成本和人力成本。中国移动公司作为国内优秀的电信服务提供商,为了更好更快速地对资源、代维人员及代维资源等进行有效管理,亟需研发一套完整的系统来提高管理效率,节约管理成本,移动综合代维系统就是在这样的背景下进行设计和研发的。 与此同时,近几年互联网的迅速崛起带来了数据量的大幅上升,TB甚至PB的数据量在网络数据生产中逐渐成为主流,大数据量、高并发访问等网络特性给移动代维系统的设计和实现带来了更大的挑战。 结合相关的开发背景,本文首先针对移动综合代维系统对代维资源管理与代维人员管理的业务需求进行分析,然后根据MVC设计框架提出了适合本系统的架构,并依照设计应用Webwork+Spring+Hibernate技术框架搭建并实现了移动综合代维系统。在移动代维系统的设计和完成过程中,本文重点分析了大数据量对本系统的影响,在应用关系型数据库MySQL实现存储的基础上,利用Memcached提供数据缓存服务,针对移动代维系统的实际访问需求,在LRU算法的基础上设计了PLRU算法,有效提升了代维系统在大数据量环境下的访问速度。最后,本文在系统实现的基础上对系统进行了全面测试,设计了相关的测试用例,总结并分析了移动综合代维系统在实现上的可优化点,后续可进行有针对性的优化。

关键词： 云服务   软件测试   虚拟化资源   远程方法调用  

摘要： 如今许多的的大型应用程序都会提供很多复杂的、多样性的、商业化的功能。因此，在软件开发的过程中，保证一个应用程序在开发过程中的每一个功能的质量是影响这个程序研发成功与否的重要环节。如何确保一个软件的质量，在发布前进行好全面的测试，成为了软件开发的一项重要的环节。 相对于原始的人工进行软件测试，自动化测试技术大大的节省了时间和人力，明显提高了测试的效率。但是由于每一个程序都有其独特的特性，导致需要测试的功能千差万别，如何更精确，更多样化的满足测试的需求也成了自动化测试工具开发所需要考虑的重要问题。 云服务是一种按使用量付费的模式，这种模式提供可用的、便捷的、按需的网络访问，进入可配置的资源共享池(资源包括网络，服务器，存储，应用软件，服务)，并将这些资源按照被服务的软件所需，快速的提供需要服务。在提供服务的过程中，只需投入很少的管理工作，并且与服务供应商进行交互也很少，大大的提高了执行效率。事实上，许多云服务平台依赖于分布式计算机集群(但与传统网格的组成、体系结构、目的、工作方式大相径庭)，同时也吸收了自主计算和效用计算的特点。 传统的自动化测试工具往往在使用之前要先进行工具的安装以及运行环境的配置，来保证自动化测试可以成功运行。除此之外，还会遇到自动化测试资源不足，需要等待等问题。这些问题会大大降低测试的效率，有时甚至会延误产品发布的时间，影响产品发布流程。同时如果公司对某些特定测试有特殊要求，例如某网站想测试内部防火墙的防御强度等，就不得不开发新的自动化测试软件，或者更换新的自动化测试工具，这样的缺点是：其一，重新开发特定测试功能，成本过高；其二，为了满足多种需求而导致多种测试工具的混合使用；其三，对于测试人员的需求提高，测试人员不得不使用多种测试工具。 针对以上问题，如果可以把云服务与自动化测试系统结合应用，将测试所需要的硬件资源通过虚拟化资源技术在云端生成，并且在本地通过RMI(RemoteMethodInvocation)远程方法调用，并且将自动化测试当作一种服务来给用户使用，就可以解决传统自动化测试工具使用地点有限制，资源分配局限以及前期准备时间长等一系列问题。

关键词： 联锁软件   UML   软件测试   测试用例生成方法  

摘要： 联锁软件作为保证车站内行调车作业安全的计算机联锁系统中的安全关键软件对整个车站联锁系统的安全性和可靠性有重大影响。测试是验证确认软件质量有力的技术手段，而测试用例的生成是测试的重点和难点。因此，对联锁软件的测试用例生成方法的研究对保证计算机联锁系统的安全性和可靠性有重要意义。 论文针对联锁软件的测试用例生成方法进行研究： (1)介绍模型测试的概念、现有的测试模型，分析比较各测试模型，阐述使用UML(Unified Modeling Language,统一建模语言)模型作为测试模型的优点；说明UML的特点、语法语义及可视化建模工具Rhapsody的组成及特点，并分析UML模型的可测试性问题。 (2)提出基于UML用例图和顺序图模型的测试用例生成方法。通过遍历基于用例覆盖准则的将用例图转换为表示用例之间顺序依赖关系的有向图SUG得到对应的测试序列；为方便得到顺序图中的有效事件序列，形式化定义表示用例中对象之间信息交互的顺序图，并考虑顺序图中的alt、loop、opt、break组合片段及多态信息，将顺序图转换生成SEG，基于测试覆盖准则遍历得到对应的测试路径并依据约束条件删除冗余路径，然后分析消除各测试场景中的矛盾得到一致的需求场景，最后生成联锁软件的测试用例集。 (3)验证测试用例生成方法的有效性。以联锁软件的用例图和锁闭进路用例的顺序图实现联锁软件的测试用例生成，并分析对比本文方法与其他文献方法中对于组合片段处理的有效性、多态信息处理的有效性、测试用例生成方法的易适用性和生成测试用例的有效性。测试用例生成结果表明，采用本文方法生成的测试用例具有更高的检错能力，能覆盖系统功能和用例的执行场景。

关键词： 广告宣传   软件工程   软件测试   信息管理  

摘要： 伴随着我国家经济的快速发展,通信市场竞争越演越烈,为了能够增强市场竞争力,移动公司计划把市场的重点投向移动产品的宣传和推广工作上。因此,绵阳移动分公司在市场广告宣传上投入了大量的人力和物力。但是结果并不明显,为了加强绵阳移动的统一宣传管理工作,绵阳移动拟开发自己的统一宣传管理平台,本课题也就依托于该项目之上。本系统的开发,是以软件工程为依托,从需求分析,到项目详细设计,到系统开发,最后进行测试。本人主要负责,系统的需求分析,详细模块的逻辑设计以及测试工作。在需求分析阶段,利用UML面向对象分析技术,根据《绵阳移动宣传管理办法》,以及同事的帮助,进行了工作调查,对系统进行了模块划分,将本系统进化了模块化划分,系统分为用户管理模块,宣传资源管理模块,立项管理模块,审批管理模块以及代理公司管理模块。用户管理模块主要对使用本系统的用户进行管理控制;宣传资源管理模块,主要对广告宣传活动中所涉及的项目资源进行管理控制管理,并生产文档,供审批部门进行审批;审批管理模块,主要是对待举行的活动进行审批管理;代理公司管理模块,主要对既往合作的广告代理公司基本信息以及代理过的既往活动进行评价管理。以此来规范化广告宣传过程,使得广告宣传工作透明化。在系统的详细设计阶段,本人主要对各模块的主要逻辑进行设计,并根据业务流程,进行ER图,对需要涉及的表进行了相关性设计。在编码阶段,系统主要编码语言为C#语言,进行了系统业务模块的编码,编码完成后,在编码过程中,进行了单体测试;当单体测试完成后,进行了集成测试,本人负责了测试用例的编写与测试工作,从测试结果来看,测试功能满足先前的需求分析,在功能上满足了系统要求。

关键词： 软件测试用例库管理系统   管理评价   SilverLight   WebService   LINQ  

摘要： 随着计算机技术的飞速发展，计算机软件被应用于各个领域，随之而来的就是人们对软件质量的考虑，尤其是对软件的可靠性和安全性的考虑。软件测试是保证软件质量和减少项目风险的有效手段。由于软件行业的快速发展，越来越多的公司对软件测试用例的管理越发重视，通过完善软件测试用例管理的途径和方法，对测试用例实现更加合理与自动化的管理。 本设计对于测试用例库的搭建,提高企业测试水准,拓展程序员测试的沟通，促进软件测试行业的发展具有非常重要的意义。目前国内外在软件测试用例方面的研究，仍处于初级阶段，更多的研究只是关注于测试用例库的平台建设，把测试用例放到一起提供给用户应用。对于进一步提高测试用例库的生成和管理,如测试用例的管理、评价、生成等，缺乏完整的体系标准,降低了测试用例库的高效性。通过以上描述，本文在测试用例的高效管理描述，测试用例的生成模型，测试用例的管理评价、测试用例生成、测试用例的复用环境等方面进行了深入的研究。 本系统设计采用交互性极强的SilverLight与LINQ to SQL模型相结合，以VisualStudio2010为开发平台，运用了Microsoft SQL2008数据库，结合Web Service技术设计出一个更合理的软件测试用例库管理系统。 本文不仅对系统进行了需求分析，开发方案的选择，后台数据库的架设，前台界面的设计等工作，还描述了系统测试的相关工作，同时还介绍了SilverLight、LINQ to SQL和Web Service的有关知识。另外，文中也涉及到了多层架构应用开发的特征。

关键词： 嵌入式箭载计算机软件   测试平台   中断分析   边界测试   单元测试   覆盖率分析  

摘要： 二十一世纪为信息化时代,各国对软件技术更新也日益重视。嵌入式软件作为一种关键类型软件在医疗、交通、军工等许多领域中都有应用,其软件质量也受到更多的关注。软件测试方法技术作为一种软件质量的重要保障方法也需要与时俱进的更新和完善。本文以我院研制的箭载计算机控制软件测试任务为背景,构建一套高效、精确、独立的第三方测评环境,用以研究解决测评过程中存在的软件关键问题,同时完成箭载计算机软件测试平台研制工作。本文的意义有以下几点:1、对比目前的第三方软件测试过程应用模型的优、缺点,提出嵌入式箭载计算机软件评测阶段模型,并在此过程中融合军工软件的特点要求,在保证软件测评质量的前提下,提高第三方测评效率。2、课题从军工软件测评实际要求出发,将静态测评技术融入到箭载计算机软件测评过程中,在研究静态测评度量指标的同时兼顾考虑扇入/扇出数、圈复杂度和基本复杂度对军工系统软件的影响,并给出了降低部分软件度量标准的方法。尤其针对中断情况进行较为仔细的分析,通过中断使用一览表、中断处理情况表等表格对中断产生,使用,消失的过程进行监控。着重强调容易发生中断冲突的情况,并总结出避免的方法。3、结合箭载计算机飞行控制软件特点,介绍箭载计算机飞行控制软件测试的平台搭建的原理和过程,并对技术指标、平台架构进行详细分解说明。着重于实现实时通讯的方法,降低测试平台与目标机间通讯误差。突出了测试平台的调配性和通用性。4、本文分析了嵌入式箭载计算机飞行控制软件静态测试的需求、难点和方法。提出降低软件部分圈复杂度、扇入扇出数和基本复杂度的办法。结合嵌入式软件测试关键点——软件中断资源进行分析。从中断含义入手,经由使用情况、处理情况、资源冲突检查的过程,总结出一套切实有效的中断测试方法。5、将嵌入式箭载计算机飞行控制软件的特点与边界测试结合,详细地解析了嵌入式箭载计算机飞行控制软件边界测试的需求及测试过程,解决了飞行控制软件姿控开关回环函数测试问题,运用边界值测试中常用有效的测试方法——5点法进行实例测试。6、介绍如何通过TESTBED测试工具进行单元测试,从TESTBED测试工具安装出发,经过软件预处理、配置测试环境等步骤后进入单元测试执行阶段。在执行过程中对设置测试关键因素进行图示讲解,并描述了编译过程中可能遇见的问题和解决方法。7、本文阐述了嵌入式箭载计算机控制软件测试覆盖率的难点和要求,使用Mc Cabe软件与硬件环境,最大限度减少对被测试系统运行时间影响及最大限度还原被测试系统的时序控制,并且有效地获得覆盖率数据。

关键词： 软件测试   软件开发   应用   研究  

摘要： 随着信息时代的到来,软件在人们的生产生活中发挥着越来越大的作用。因此,为减少软件运行过程中的错误,保证软件质量,开发人员需在不同阶段对软件性能进行测试。文章研究了软件测试在软件开发过程中的应用,以期为软件的开发提供参考。