教学课程资源库 更多>>

关键词： 软件测试   测试用例   粒子群算法   蚁群算法   信息素  

摘要： 在用于面向路径测试用例自动生成的智能优化算法中,由于各种参数设置的数学理论基础薄弱,算法普遍存在搜索效率较低的问题。在分析粒子群算法和蚁群算法的基础上,提出的粒子群-蚁群混合算法将粒子群优化算法和蚁群信息素选择方法有机地结合起来。通过经典的路径测试实验,实验结果表明,算法在自动生成软件测试用例的搜索过程中,充分发挥了粒子群算法较强的全局搜索能力和蚁群算法的区域搜索能力,提高了软件测试用例自动生成的效率。

关键词： 软件能力成熟度模型   软件测试   过程改进  

摘要： 随着信息技术的普及和全球信息化趋势的加强，今天软件产业已经成为发展速度最快的产业之一，软件过程标准化的重要性被提升到前所未有的高度，CMM（软件能力成熟度模型）应运而生，如今已然成为评价软件公司开发、管理水平的重要参考和软件过程改进实际上的工业标准。 本文从软件测试的角度深入理解和挖掘CMM，论述了软件测试在CMM体系中的地位和作用，为其他中小型企业软件过程改进提供了新思路，同时也是从理论上验证了CMM在国内中小软件企业中的可行性。应用CMM理论，结合软件测试相关原理，在对具体案例进行充分分析的基础上，对Y公司软件过程进行改进，帮助公司改进和优化管理，实现软件生产工程化，从而能够有效提高Y公司的软件开发能力、软件生产效率和软件质量，降低软件开发风险，并进一步提升Y公司的行业竞争力和社会公信力。

关键词： 嵌入式软件测试平台   自动化测试   组合测试   故障定位  

摘要： 随着嵌入式软件技术的日益发展和应用范围的不断扩大，对嵌入式软件的测试也已经越来越引起开发人员的关注。目前，大多数嵌入式软件测试设备都是针对代码进行覆盖测试，缺少功能测试设备，而且对嵌入式软件的功能测试自动化程度不高、测试覆盖率低，致使嵌入式软件的可靠性难以得到保证。针对上述不足，在研究嵌入式软件功能测试方法和组合测试技术的基础上，研制嵌入式软件测试平台，旨在提高嵌入式软件功能测试的覆盖率，提高自动化测试程度，同时对于提高嵌入式软件的质量和保障其可靠性具有一定的意义。 经过对嵌入式软件功能测试需求的深入分析，确定了嵌入式软件测试平台的基本结构，制定了嵌入式软件测试平台的总体实施方案。以本课题组提出的虚拟试验体系结构为基础，利用其集成开发环境组件化的设计思想和订购/发布机制可以方便测试平台的研制。研制的嵌入式软件测试平台最终将以集成开发环境及编写的嵌入式软件测试通用组件为上位机环境，将为被测设备提供硬件接口工控机作为底层硬件平台。 在现有的粒子群优化组合测试数据生成算法的基础上，提出了一种部分初始化思想，来提高了粒子的搜索能力，同时引入一种扰动搜索机制来增加测试数据的适应值，经过验证效果好于原有算法，因此以此算法为核心设计了测试用例生成组件用于为被测嵌入式软件生成测试数据；针对现有组合测试故障定位算法在不知道安全值的情况下无法进行故障定位的不足，提出了一种在多参数、多取值条件下的安全值定位方法，并改进了现有组合故障定位算法，经过实验检验故障定位效率有所提升，以上述方法为核心设计了测试结果比对组件，在比对标准设备测试结果和被测软件测试结果的基础上，对故障进行定位。 通过单元测试验证了组件功能的正确性，通过以本课题组研制的“ATE在线监测设备”的嵌入式软件作为被测对象，搭建测试系统并进行测试，验证了嵌入式软件测试平台对高覆盖率测试用例的快速生成能力、被测软件标准模型构建的能力和对测试结果比对的能力。总之，全面的验证了嵌入式软件测试平台对于嵌入式软件测试的有效性。

关键词： 软件测试   嵌入式   动态测试   覆盖率   插桩   交叉测试  

摘要： 目前,嵌入式软件广泛的应用于社会的各个领域,使得如何有效地保证软件的安全性、可靠性问题越发受到测试人员的关注,并且嵌入式软件测试技术作为保证软件质量的有力手段也更加受到重视。 本文首先从嵌入式理论入手,通过对嵌入式系统和嵌入式软件的分析引出嵌入式软件测试与通用软件测试的不同,为测试平台的研究做铺垫。然后,本文针对测试平台涉及到的理论知识,详细介绍覆盖率以及插桩技术,指出覆盖率是评判测试是否充分的一个重要指标,同时指出插桩是能否进行覆盖率分析的前提,为测试平台的设计奠定理论基础。接着,本文开始重点设计嵌入式软件动态测试平台,提出平台的整体框架结构,详细论述对框架的每个部分,如静态分析、测试用例生成、插桩、数据通信以及数据处理等。静态分析对程序的语法规则进行检查,生成插桩优化所需要的抽象语法树；插桩部分主要研究的是如何优化抽象语法树中与数据生成、逻辑控制无关的代码,以及如何选择插桩策略,减小因探针植入引起的代码膨胀；另外,本文的硬件环境采用的是Skyeye仿真平台,所以还涉及编译工具与仿真平台之间的数据通信问题。最后,本文从实例出发,对测试平台进行验证,分析测试结果,指出本文的不足,并对后续工作进行展望。

关键词： 软件测试   自动化   TCL嵌入式   MPLS VPN   MINM  

摘要： 软件不断有新的测试方法和测试工具产生,这在一定程度下缩短了软件测试的时间,提高了软件测试的效率。但是随着测试的深入,一些常规测试方法不能解决的问题日益显现。因此,开发一种新的软件测试方法来解决此类问题显得越来越重要。论文研究的主要工作包括以下几个方面： (1)首先阐述了软件测试研究背景和发展现状,详细的介绍了自动化软件测试,包括自动化的定义与意义、常用的自动化测试工具、自动化测试语言和自动化测试的优点与局限性。通过TCL和TTCN-3两种自动化测试语言的比较,说明TCL语言在自动化测试上的优势。 (2)接着在分析当前自动化软件测试面临的问题的基础上,介绍了一种新的自动化软件测试方法——嵌入式TCL测试方法,该方法是将TCL语言解析器移植到操作系统,将原有的接口函数进行TCL封装,通过TCL扩展命令调用系统内部模块函数来进行软件测试。并与常规自动化黑盒测试方法进行比较,分析了在测试系统内部问题上的优势。 (3)最后,通过嵌入式TCL技术在MPLS VPN测试中的应用实例来进行说明。

ISBN: (纸本)9787115307910

关键词： 离散元法   三维离散元法计算仿真软件   软件测试   多边形虚边界  

摘要： 散粒物料在自然界和工农业生产中极其普遍，虽然其结构简单，但力学特性却极其复杂。由于有限元方法的局限性和离散元法的诸多优点，使得离散元法被不断的继承和发展，成为研究散粒物料动力学的通用方法。 本课题组在充分研究和继承国内外离散元法基本理论、算法及其它研究成果的基础上，在离散元法的理论研究及其应用上已经积累了大量的经验，并先后研发出了基于二维离散元法和三维离散元法的计算仿真软件。 其中，三维离散元法计算仿真软件在继承了二维离散元法计算仿真软件优点的同时，还丰富了软件系统的功能，并提高了软件系统的性能。到目前为止，三维离散元法计算仿真软件，可根据机械部件的CAD模型（Pro/E模型或UG模型）建立其三维离散元法分析模型，可生成球形、椭球形、超球形和多球组合形四种几何模型的颗粒，可采用线性力学模型和赫兹力学模型对颗粒与边界进行接触作用力的计算，采用人机交互方式输入计算参数，还具有对整个仿真时间内颗粒的受力、运动速度、位移等进行跟踪，对计算结果进行分析等功能，由此分析机械部件的工作过程及其性能，为相关机械部件的优化设计提供了一种新方法。 三维离散元法计算仿真软件是在二维离散元法计算仿真软件的基础上开发的，但是由于增加了一个维度，使得对机械部件的建模、对颗粒运动的离散元法计算及对运动过程的仿真模拟的复杂度成倍增长。为了验证软件系统是否达到了设计初衷、所完成功能是否正确有效，要对其进行系统、完整的测试。由于三维离散元法计算仿真软件涉及工程力学计算且计算结果不可再现，使其具有一定的特殊性，所以需要在传统软件测试方法的基础上进行改进，提出适合三维离散元法计算仿真软件的测试方法。 本文以课题组现有的三维离散元法计算仿真软件为研究对象，在介绍了传统软件测试方法及测试策略的基础上，提出了三维离散元计算仿真软件的测试方法及策略，即采用切片屏蔽的方法对软件系统进行单元测试，然后采用改进的三明治方法对其进行集成测试，还对二种机械部件的工作过程进行了仿真分析，并与试验结果进行了比较，测试结果证明三维离散元法计算仿真软件计算结果正确，计算过程真实有效，进一步完善了该软件的性能。 在上述工作基础上，本文还对三维离散元法计算仿真软件的部分功能进行了改进，包括改进了球颗粒运动初始速度的计算方法；完善了颗粒与转动边界的相对位移的计算；添加了由数据库直接提取矩形入料口的功能；还增加了多边形虚边界的计算功能，进一步完善了该软件的功能。 为了使三维离散元法计算仿真软件的功能与性能更为完善，本课题组还在进行不断的深入研究，增加功能模块充实软件系统的功能，改进算法等以提高软件系统的性能。但是要想使其成为一个功能完善、性能良好的系统还需要付出更多的努力，课题组全体成员一直以此为目标，不断增添新的功能、完善已有功能、优化系统的性能，力求最终得到一个能够达到商品化软件要求的软件系统。

关键词： UML   软件工程   建模   自动化测试工具   一致性检测  

摘要： 随着软件工程的日益复杂,以及用户对软件的功能需求和体验需求不断增强,从不同角度,不同方面对软件工程进行建模愈来愈受到人们的关注。在这种环境下,如何恰当地对软件工程的流程进行建模成为了热点问题之一。同时,在软件工程中负责验收程序,反馈错误的测试环节显得越来越重要。通过软件测试,开发者可以及时地补救系统运行时的错误,但却给程序开发者带来了相应的困扰,因为这无疑大大增加了编程的负担。所以,能够通过机器生成测试脚本代码的自动化测试工具在市场上颇受测试者的青睐。 在使用UML对软件工程进行流程建模时,经常会发生模型的不一致性问题。例如模型代表的功能不完全一致,或者模型的对象描述有所偏差等等。本文在详细研究不一致性产生原因的基础上,给出了一个基于形式化模型和数据库映射的检测UML模型图一致性的方法,它具有可扩展性、通用性等优点。在对该方法的描述中,本文重点实现了形式化模型的数据库表存储技术,完成一致性算法的设计,并讨论了它们的应用情况。 同时,针对软件工程中的测试环节,本文通过归纳UML模型图的特性,提出了设计开发可自动化生成测试脚本代码的Eclipse插件的方案,这个插件以UML技术为核心,能够与UML建立的测试用例模型相互对应,甚至是可与模型直接关联。本文以UML建模语言和文字叙述相结合的方式详细说明了插件的系统架构和功能流程,包括用户界面、后台控制器和模板储存器三个功能模块。 最后,通过细化设计代表插件系统架构的这三个功能模块,本文用表示关键功能的代码片段描述了它们的实现方式,并用实例验证了插件正常运行的情况下可以满足系统的功能需求,使其达到了自动化生成测试脚本代码的预期目标。

关键词： 软件测试   质量   进度  

摘要： 软件测试是一项确保软件产品质量可靠性的关键步骤,是软件确认和验证技术的重要组成部分.在软件生命周期当中,软件测试师需要通从软件测试过程发现存在的问题,然后分析并进一步改进问题,从而实现增强软件质量的目的.良好的软件测试质量是确保软件质量的首要条件.因此在实际的工作当中,软件测试师首先需要保证的是软件测试的质量,随着现代信息技术的快速发展,软件测试的进度以成为当前软件生命周期中的一个重要因素.文中简要的阐述了软件测试中的质量保证以及软件测试进度,从而进一步的实现软件测试质量和进度的双赢.

关键词： 面向对象   软件测试   技术研究  

摘要： 随着面向对象软件开发技术的广泛应用,以及软件测试在软件开发过程中地位的不断上升，软件项目开发过程中面向对象技术对传统软件测试产生了新的挑战，面向对象软件测试技术的研究越来越受人们的关注。文章对面向对象软件测试技术做出了研究。