教学课程资源库 更多>>

关键词： 软件质量   软件测试   黑盒测试   白盒测试  

摘要： 软件在开发过程中不可避免的要出现各种错误,为了最大限度地确保其质量必须进行软件测试。文章即对软件测试的主要方法进行了介绍与说明,以供参考。

关键词： 自动化测试   资源消耗型用例   VSphere  

摘要： 随着云计算概念的推广和流行,越来越多的企业开始研发自己的云计算产品,来提供更为高效、灵活和经济的企业级或是用户级服务。不管是私有云还是公共云服务,其底层实现往往与虚拟化相关,而VMWare推出的虚拟化管理方案vSphere是许多企业进行云平台建设的主要选择。测试基于vSphere的云计算相关的软件产品,无论是功能性测试还是系统级测试,都不可避免地涉及大量与虚拟化资源分配,重组,回收,销毁等操作用例。这些用例具有测试消耗时间长,硬件质量对测试结果影响大,用例失败导致的连锁效应明显等特征。此类测试用例,以一个具有一定规模的软件产品为例,每日构建的冒烟测试可能要涉及几百个,一个测试的迭代周期往往要覆盖到上千个,而产品上线前的系统级测试可能需要执行近万个。一旦发生因测试失败造成大量后续用例无法执行的情况,测试人员就必须人工干预相关测试环境,重新执行测试用例。这种情况在很长的测试周期中,成为一个明显的问题。 本文针对上述情况,提出了一种新的自动化测试框架方案,旨在减少基于vSphere的云计算软件测试的时间,最小化一个测试用例失败对于后续测试用例以及整个测试质量的影响,能让每日测试能够一次性完成,从而使隐藏在那些容易被跳过的测试用例中的软件缺陷能够及时的被发现。 本文从广泛应用的自动化测试框架TestNG出发,找出其应对上述测试时扩展性和伸缩性的弱点,设计出一种可以自由用例组织的、层次化的、可回退的系统级测试框架。应用这个自动化测试框架,软件测试可以自由地定义测试用例层次,使用原子用例构建大用例并能最小化失败用例对测试环境的影响。当一个用例失败时,资源可回退到上一个健康的状态,跳过相应用例,继续执行。 本文提出的自动化测试框架,有效减少了重复配置测试前置环境的时间,减少了单个测试用例失败对整个测试质量影响的程度,并能够以较低的维护代价,对整个测试的结构进行调整。这个框架适用于很多场景,例如以虚拟化为基础的涉及资源操作的软件测试场景,对于网络资源,磁盘资源依赖性强的软件(数据库等存储服务)测试场景,前置资源的配置和整理时间远远大于测试用例本身执行时间的场景。

ISBN: (纸本)9787302274094

关键词： 软件测试   单元测试   测试用例   自动化测试  

摘要： 随着计算机技术的深入快速发展,软件已经在人们日常生活中得到广泛应用,而软件质量也已经成为人们所关注的焦点。软件测试作为软件质量的有力保证,其重要性已经日益显著。单元测试是在编码完成后对软件设计中的最小的单位检验正确性的测试工作,是能够显著提高软件质量的有效手段。本文将提出面向对象思想设计的程序的单元测试系统方案并加以实践。 本文首先介绍了研究课题的现状和发展趋势,介绍了面向对象、软件测试、单元测试的相关技术方法、工具的特点及使用方法,详细介绍了面向对象自动测试框架CppUnit的实现机制以及使用方法,并结合实际项目《iTools智能监控平台单元测试》,对提出的面向对象程序单元测试方案进行实践验证,在以实际项目为例的方案实践中,考虑到测试用例的关键性,本文提出了利用白盒和黑盒测试相结合的策略来构造测试用例,保证了测试用例的充分性。并且总结了一套编写测试代码的通用步骤以及针对被测对象编写代码的优先顺序,最后的测试报告及测试结果证明了该单元测试系统方案是可行和有效的。 本文融合了软件的测试理论技术知识以及笔者实践的经验,相信对于自动化单元测试的进一步研究以及推广CppUnit的应用都具有一定的意义和参考价值。

关键词： 软件测试   代数规格化说明   基本项   范式  

摘要： 随着计算机技术的发展和计算机应用的普及,软件系统的需求量越来越大,在现阶段,面向对象软件系统占据了其中很大的比例,在软件系统的测试方面出现了许多测试方法,基于形式化规格说明的软件测试方法是其中重要、有效的一种。在基于形式化规格说明的软件测试方法中,形式化规格说明通常作为正确性验证的基础。 目前,基于形式化规格说明的软件测试主要用于安全性和可靠性要求较高的软件系统,根据所用的规格化说明语言的特点,用不同的方法进行软件测试。主要的测试思路有等价测试和不等价测试等。生成测试用例所用的工具有基本项、等价项、不等价项、基本对等。 本文主要研究了基于程序的代数规格化说明生成测试用例进行软件测试的方法。本文提出了根据代数规格化说明生成基本项模型图的方法,并且生成的基本项模型图也能完全体现程序的面向对象特征。本文测试方法的主要思路是：首先根据代数规格化说明得到一组基本项。为了避免从理想基本项集合中选择一组基本项时受到理想基本项集合的完备性和无穷性等因素的制约,本文根据代数规格化说明构造一个基本项模型图,然后用基本项模型图生成基本项。为了进一步减少最终生成测试用例的数量,本文从生成的基本项集合中得到与这个基本项集合等价的范式集合,再通过范式来生成测试用例。针对用范式模型树生成范式时,生成的不完全是范式,并且范式的长度可能无穷大的问题,本文提出了对基本项模型图进行路径拆分,根据路径拆分后基本项模型图生成范式的方法。最后,用范式替换代数规格化说明公理系统中的变量,生成测试用例。 在用范式生成测试用例时,本文根据而向对象程序的继承、多态等特征,提出了替换准则,根据这个替换准则用范式替换公理系统中的变量,保证了生成的测试用例能够体现程序的面向对象特征。本文还提出了对公理系统中的条件公理和循环公理的处理方法,并且用简单域测试策略选择测试数据填充测试用例。

关键词： 精益思想   软件测试   软件公司  

摘要： 精益理论源于丰田生产系统,精益理论强调的是一种思维模式,所以又称为精益原则或精益思想,是一种思考如何寻找浪费和消除浪费,更快的向客户交付价值的方法。这种哲学被广泛的商业活动范围内证明是非常有效的原则。越来越多的领域应用精益理论来进行管理。应用于软件开发是最近才开始的研究课题。　　现代精益方法提出了五大原则:价值,价值流,流动,拉动,完美。根据这五大原则,精益原则应用于软件开发提出了七项原则,即消除浪费,内建质量,创建知识,推迟决策,快速交付,对人尊重,整体优化。　　精益理论定义了七种浪费,即缺陷,过度生产,运输,等待,库存,移动,过度作业。这7种浪费在软件开发测试中都可以找到对应的动作过程。所以消除软件开发测试过程中的浪费是实现精益软件开发测试的重要方法。在软件开发过程中缺陷,额外的软件特征,传递,延迟,半成品的工作,任务切换,不必要的流程对应了精益原则的七种浪费。消除浪费也是精益软件开发测试的一个重要的原则。　　传统的软件开发测试流程对于软件需求变更,快速交付方面存在着较大的缺陷,精益理论在软件开发测试方面的应用会在提高软件的质量,客户满意度和降低成本方面有着很大的提高空间。所以精益软件测试流程,值得学术界和软件企业共同探讨。　　本文作者在一家跨国软件公司(M公司)的系统测试部门工作,并参与了该公司的软件测试流程的精益化改造,获得了初步实践模型。因此在研究中结合精益相关理论和公司的实践情况,探讨了精益理论在软件测试流程中的应用。本文以M公司的系统测试部门测试流程为研究对象,采取深度访谈和调查问卷的方式收集数据。提出了精益测试的原则,即融合测试流与开发流,单一测试流,及早测试,自动化测试,建立单一的测试组织,减少传递和文档。　　精益理论在软件测试方面的研究较少,因此本文在一定程度上弥补了在此方面研究的不足。另外,本文结论对M公司G研发中心实施全面的精益化改造有重要的参考借鉴意义。

关键词： 笔记本代工   黑盒测试   自动化测试框架  

摘要： 笔记本代工行业为了追求利益最大化,采用自动化测试方法是其软件测试部门最有效的途径。首现介绍了自动化测试方法之黑盒测试应用于笔记本代工行业中软件测试的整体框架,然后分别介绍了该框架各个组成部分的内容以及工作模式。

关键词： 软件测试   缺陷模式   空指针引用   资源泄漏  

摘要： 基于缺陷的软件测试技术是对定义的软件缺陷模式进行检测。对于基于缺陷模式的静态分析检测,其核心工作之一就是对缺陷模式进行定义和检查。系统能处理的缺陷模式种类越多,其检测出潜在的缺陷的能力也越强。 软件缺陷测试系统(DTS)是基于缺陷的代码静态分析工具。DTS根据测试语言的不同分为不同版本,主要为Java语言和C语言两大类。测试的缺陷模式种类包括：故障模式、安全模式、疑问模式、规则模式。 Klocwork软件是与DTS同类的静态分析测试工具。NIST(美国国家标准与技术研究院)测试用例库是NIST针对CWE(通用缺陷列表)中的部分代码缺陷模式所编写的测试用例。本文将DTSJava6.0与Klocwork8进行对比实验,并提取出NIST测试用例库中故障类相关的缺陷模式并扫描。分析实验结果,总结出DTSJava中缺少或不完善的缺陷模式。作为DTSJava新版本中待扩充的缺陷模式。 通过对比实验的分析和总结,本文总结出DTSJava需要扩展的11类缺陷模式。其中一部分是DTSJava故障类未定义的缺陷模式,如由统计数据判定的空指针引用、函数参数资源泄漏等；另一部分是对DTSJava故障类现有缺陷模式的细化和补充,如由程序中的空指针检查推断可能为空指针等。

关键词： 职业教育   教学做一体化   教学模式   软件测试技术  

摘要： 高等职业教育要求学生既要有够用的理论知识,又要有较强的工作实践能力,通过对已就业学生的调研,充分了解企业对职业教育的要求和需求,在软件测试技术教学中探索"教学做一体化"的教学模式,对实施方案进行了详尽的论述,为提高学生实践操作能力和就业能力奠定了基础。

关键词： 软件测试   测试数据自动生成   遗传算法   模拟退火算法  

摘要： 近年来，用户对软件需求的复杂度在逐渐增高，软件规模越来越庞大，软件质量问题得到了广泛的关注。软件测试是保障软件质量的有效手段，其中自动化测试技术能够打破手工测试的局限性，通过自动生成测试数据，有效的提升了软件测试的效率。本文研究如何将启发式算法用于软件测试数据的自动生成，并以三角形分类问题作为实例，验证启发式算法在测试数据自动生成上的优势。 本文首先介绍了软件自动化测试的相关技术，重点研究面向路径的测试数据自动生成技术。然后，详细阐述启发式算法相关概念。启发式算法包括遗传算法，模拟退火算法，蚁群算法以及禁忌算法等，是一组指导算法搜索方向的、建议性质的规则集。本文重点研究遗传和模拟退火算法在自动化测试方面的应用。遗传算法是一种全局优化搜索方式，具有广泛的实用性，是从生物的进化过程抽象出来，基于概率意义，随机进行迭代进化的方法。但是，遗传算法具有自身的缺陷。例如，局部搜索能力不足、收敛速度慢以及稳定性也较差。模拟退火算法是局部搜索算法的扩展，针对遗传算法的缺陷，将模拟退火算法与其相结合，可以避免早熟现象的发生。 随后，本文详细分析如何将遗传退火算法用于自动化测试中，构建应用模型，搭建测试环境，并对染色体编码以及构造适应度函数。针对路径测试，提出了基于插桩的路径测试数据自动生成方法。最后，以一个典型的例子对模型进行实现，自动生成测试数据，并对结果进行分析，验证遗传退火算法在测试数据自动生成上的优越性。