教学课程资源库 更多>>

关键词： 软件测试   静态测试   静态质量度量   静态分析   Testbed   PolySpace  

摘要： 现代软件测试研究发现：对于任何一个软件或者系统所进行的测试都应当是结合了静态测试和动态测试来进行的，只做其中任何一项测试工作都会因为完整性的缺失而无法得到准确的测评结论。在其它条件不变的情况下，如果能够越早的发现软件中的错误，所造成损失的就会越少。静态测试是对软件中的需求说明书、设计说明书、程序源代码等进行非运行的检查，因此，能够较早地发现软件的缺陷。为了进一步提高软件测试结果可信度和优化成本，必须做到在软件测试项目中包含静态测试。本文分析了静态质量度量，提出了对软件特性进行评价的方法；探索了如何互补性的组合测试工具Testbed和PolySpace应用到实际测试流程中，并在某舰载气象雷达通信软件的静态测试中取得了验证；编制了静态质量分析报告规程。具体包括以下几个方面： 首先，从软件测试的定义、目的和分类着手引入了软件测试的整体概念，描述了软件测试的重要性；剖析了不同测试类型中从是否执行程序的角度划分出来的静态测试，了解了静态测试技术的关键点在于代码、界面和文档的测试。 其次，分析了软件质量度量，继而从软件的静态质量度量基本概念和功能出发，研究了Halstead软件科学度量法和McCabe程序环路复杂度度量法两种软件静态度量方法，重点研究了静态质量模型及结合静态质量模型对软件特性进行评价的方法。 再次，探索如何互补性的组合应用测试工具Testbed和PolySpace到实际测试流程中，研究了如何完整的实现对使用Linux平台和VC++语言开发的某舰载气象雷达通信软件的静态测试，并在实践中了验证了工具使用的可行性。 最后，通过对本文研究内容的总结，探索了如何在软件静态测试的静态分析过程中找到相对完整全面的规则集，从而使静态分析在模型构造、路径选择等方面能够选择更好的策略，以此得到提高静态分析的准确度的效果。并结合软件质量度量的研究和舰载气象雷达通信软件静态测试过程及结果的分析，探索了对于目前整个业界都没有统一成熟的静态测试流程和标准；在静态测试流程中，还没有具备广泛代表性的作为最终测试结果的静态质量分析报告；静态测试结果不能够以简洁明了的形式作为内部质量结果，从而可以有力的支撑项目测评结论的完整性等问题的解决办法，初步拟定了静态质量分析报告的编制规程第一稿。经多个实际测试项目和委托方反馈，该规程质量因素关键点覆盖度高，在装备软件静态质量分析方面具备很强广泛性和代表性。

关键词： 银行软件   软件测试   测试管理  

摘要： 近年来,我国银行业信息化建设取得了前所未有的进步,各类业务系统纷纷上线,但是随着银行IT应用项目开发工作的不断深入,项目的规模和复杂度都在不断增加,项目的软件测试完善与否逐渐成为了制约软件产品质量提升的瓶颈。 目前我国的大多数银行IT应用项目开发中的测试工作主要由项目组中的业务人员负责。这些业务人员大多从业务岗位临时抽调参加项目的测试工作,虽然在项目的业务领域具有丰富的专业知识和业务经验,但对于测试工作本身来说,其技术和经验相对缺乏,直接影响了项目的质量。为此,随着银行业软件测试工作的展开,一些银行逐步成立了专业化的软件测试部门,使软件测试工作进入到系统规范的运作和管理阶段。实际工作中,在测试资源管理、测试过程管理、辅助测试工具、测试数据统计分析及评价、自动化测试脚本等各方面都需要进行大量的手工操作。为尽量减轻手工操作带来的工作量,应该建立统一的测试辅助管理平台,统一管理和提高系统测试阶段的测试质量。 本文提出了银行业软件测试管理的方案,对于测试案例的规范化管理、测试工具和程序的统一管理、测试过程监控管理进行了深入研究。对于测试案例规范化完整设计了测试案例的各要素,结合项目信息、版本信息等内容有效的做到测试案例的准备规范化以及测试案例执行的规范化;对于测试工具和程序的统一管理,结合适用的不同软件,设计测试工具各要素,在测试平台中做到有效的归档和管理,提高工具复用率;对于测试过程监控管理,结合测试案例的时间要素,通过制定监控模型来对测试准备和测试执行情况进行分析,反映项目在测试过程的进度情况。通过这套方案可以有效的对测试过程进行管理,提高测试质量。 本文首先分析了银行软件测试目前面临管理不规范的问题,提出测试案例的规范、统一测试工具和实施测试过程监控来完善银行测试管理的方法;接着,设计了测试案例、测试工具的各要素,分析要素含义及要素之间的关系,通过建立监控模型,有效的结合测试案例要素对测试准备过程和测试执行的过程进行过程监控;然后,对测试过程中的关注点进行分析,对总体架构进行设计,并且对系统的各个部分的详细设计进行了描述;最后,提出了系统的实现,并结合实际项目中的使用情况实现了银行软件测试管理平台。

关键词： 软件测试   POCERM软件测试过程模型   GJB438A-1997标准   测试结果分析   测试工具集成  

摘要： 现代军用电子装备系统中,以软件为核心的产品得到了广泛的应用,随着系统中软件部分的不断增加,使得系统对于软件的依赖程度越来越大,对软件测试的要求也越来越高。我国就军队软件产品的质量要求及测试评价制定了多项标准。华东计算技术研究所华东工程软件测评中心对军用软件的测评已有多年经验,并且也已形成了一套比较成熟的软件测试过程模型。 在分析和研究国内外典型的软件测试过程管理技术的基础上,研究实用的、适合软件测试过程特点的软件测试过程集成管理总体框架技术,使得满足分布式环境下的软件测试过程流程的管理和基于测试工具的测试用例回归测试需求。其研究内容包括软件测试过程集成管理框架建立技术,集成管理框架上测试工具的集成技术。主要的关键技术包括： (1)软件测试过程集成管理框架总体设计技术。 (2)基于POCERM软件测试过程模型流程标准的管理自动化实现技术。 (3)测试管理过程的数据库设计技术。

关键词： SSH框架   政府办公自动化   Web   软件工程   软件测试  

摘要： 随着信息化时代的到来、无纸办公的蓬勃发展,把计算机信息技术应用到政府机关日常办公、管理工作中来,对于提高政府管理水平、办公效率,具有极大地促进作用。根据机关工作特点,建立办公自动化系统,实现网络化、无纸化的现代化办公管理,能够提升机关工作人员为人民服务的品质和各项管理水平。因此,研究基于政府机关自动化办公系统的构建技术,具有很强的现实意义。 本文的内容是实现一套高效、快捷、方便的政府办公自动化系统,将传统的纸质办公转为计算机辅助的办公的业务流程,为社会提供高效优质、规范透明和全方位的管理和服务。本文通过调查研究得来的政府办公系统的需求分析入手,确立了整个系统的软件设计,采用基于J2EE平台的Web开发技术进行局域网内的政府自动化办公系统的应用实现。SSH是目前较流行的一种Web应用程序开源框架,是由三种开源框架Struts,Spring和Hibernate组成,提供一些基本的类和组件,并提供了对一些概念、方法的抽象,极大地降低了开发的难度,提高了开发效率。整个系统的开发过程全部按照软件工程的开发流程来操作,先后进行了需求分析和精细设计,对系统的功能模块和数据库的结构进行了巧妙的划分和设计,在此基础上完成了系统的编码工作。 办公自动化系统是要改变以手工办公为主的办公模式,依托计算机互联的局域网络,把先进的管理模式融入到计算机中。该系统的设计综合了实用性与创新性、兼容性与灵活性、开放性与安全性的理念,以信息化管理为主体,为机关的日常事务和信息进行管理和服务,同时提供办公和人事管理的电子化平台。该系统利用内部局域网连接的优势,实现了协同工作和信息共享,为政府的信息化办公建立了一个稳定的平台环境,同时为其科学的决策进行服务,使得政府工作人员能够更加高效和优质的进行工作。 本文分析与设计的办公自动化系统由网络基础系统、安全系统、系统管理、公文管理、办公室管理和个人事务六大模块组成。其中,网络基础系统规划了网络设备和网络组建,安全系统通过一系列的安全技术,保证了系统、网络、应用以及数据的安全,这两块是整个系统的支撑模块。系统管理模块提供了针对政府组织结构和系统用户的管理功能；公文管理模块提供了对公文的起草、收发、流转和归档等功能；办公室管理模块提供了对公告、会议室以及人事档案等办公事务的管理功能；个人事务管理模块提供了系统用户和个人事务的管理功能,上述模块共同完成了系统的所有业务功能。 本文在系统的开发过程中,在面向对象测试技术以及J2EE体系结构的基础上,提出了对行政自动化办公系统的Web应用进行单元测试和可接受度测试的两层测试策略,并对该系统制定了周密的测试方案。测试的结果表明,DAO的测试和Service的测试都符合预期的结果,系统非常可靠,符合政府办公的当前的实际工作需求,适合政府工作人员日常办公的使用。 该办公自动化系统符合机关日常办公的需要,能够打破地级市内地理区间的信息阻塞,促进政府机关内各种信息资源的共享以及交流,加强部门以及政府工作人员之间的协同性,提高整体工作效率。

ISBN: (纸本)9787302285595

关键词： 软件测试   静态分析   区间运算   函数摘要   故障模式状态机   数组空指针引用  

摘要： 近年来,空指针引用故障引发的软件安全问题层出不穷,给软件开发公司及用户带来了极大的困扰,也引起了国内外对之进行故障发现的研究热潮。数组空指针故障是空指针引用故障的一种,也是程序中存在的比较常见的问题,由于它在程序中比较隐蔽,用动态测试方法耗时又耗力且很难达到全面覆盖的效果。 本文提出一种基于模型检测及抽象解释理论的数组空指针故障静态测试方法。首先将数组空指针故障进行定义和分类,把它总体分为函数内和函数间的数组空指针故障,然后将数组空指针引用问题抽象为一类故障模型,并以故障模式状态机来形式化描述此类故障模型,为了支持数组空指针故障发现对数组类经典区间域进行了扩展,并通过函数摘要的生成传递与使用支持数组空指针故障的全局分析与检测,最后根据故障状态机的创建条件及待检测代码的语义信息确定是否创建该类型的状态机,并将创建的状态机实例置于控制流图入口节点,根据数据流分析的结果对故障状态进行迭代以检测数组空指针故障。 本文提出的方法已在DTSJava （Defects Testing System for Java, Java缺陷检测系统）中应用实现。文章实验部分通过使用未实现本文方法的DTSJava5.0版本与实现了本文方法的DTSJava6.0版的对比以及使用DTSJava6.0与Findbugs, Klockwork K8的实验数据对比,阐明本法的实用和有效性。

关键词： 软件测试   启发式算法   组合测试  

摘要： 软件测试是软件开发的重要过程，力图检测软件中的潜在错误。设计和生成测试用例是软件测试的核心工作，高效的测试用例是决定软件测试质量的重要因素。在特定的测试问题中需要遍历非常复杂的搜索空间以生成测试用例，例如黑盒测试中的组合测试，而启发式搜索算法在处理复杂空间搜索这类问题上有着优越的性能，因而成为处理该类问题的重要方法。　　本文从组合测试的角度，对基于启发式算法的测试用例生成技术进行了研究，论文工作的主要成果表现在以下几个方面:　　在组合测试方面，提出结合贪心策略的遗传算法和结合贪心策略的粒子群算法，用于生成组合测试用例集合。通过实验，发现前者在测试对象不大时，能在生成的测试用例集性能损失很小甚至没有损失的情况下，较大程度地改善算法的时间性能，而后者可以使生成的测试用例集更小;利用遗传算法和粒子群算法这两种启发式算法实现两两组合测试用例生成，同时比较它们在不同参数变化情况下的性能。通过大量实验，我们发现它们各有优势，遗传算法和粒子群算法相比，前者生成的测试用例集规模略小，且性能稳定，而后者的时间性能更佳;开发组合测试实验平台CTF（Combinatorial Testing Framework），为组合测试的研究提供一个可配置、可扩展的实验平台。研究人员可以在CTF上任意添加算法，用以实现组合测试用例集的生成，并且可以通过该平台对其中的算法进行比较。

关键词： 测试用例   执行测试   软件测试   QUALITY CENTER  

摘要： 银行的客户服务系统是通过集成系统各个模块从而达到来电接收的功能。随着系统间集成的软件越来越多，系统测试的必要性日益显著，一个完善的软件测试是系统质量保证的一个重要的因素，因此本论文将针对该系统的特点及系统的质量要求，通过实施一个完整，可靠的功能测试体系达到测试的目的。 来电接收的功能测试将分为需求分析，对设计文档进行静态测试，编写测试计划，按照测试计划的要求及需求进行测试用例的编写;然后执行测试。在测试过程中我们使用了Quality Center测试管理工具对测试用例和测试进行监控，其中包括需求管理、测试管理、缺陷管理、功能测试和业务流程测试，让用户可以直接观测到项目所处的质量水平——是否测试并满足了需求，是否执行了测试，或是否发现并解决了缺陷。此外，本论文将针对银行测试的特点，使用Quality Center提高测试的工作效率，改善测试管理方式，并更容易检查测试的覆盖率。另外，本文将使用测试组研发的小软件Tp-robot去优化Quality Center的测试管理过程。 在客户服务系统的来电接收模块中应用这样一种完善的软件测试流程和体系，除了能实现系统的功能外，也将能够保证系统的测试质量，从而提高系统的质量和减少银行系统的维护费用。

关键词： 软件测试   智能变送器   嵌入式软件   静态测试   单元测试  

摘要： 随着工业生产的扩大,控制系统变得越来越复杂,安全受到了越来越多的关注,功能安全成为工业领域内研究的热点。作为流程工业领域中典型的现场设备,智能电容式压力/差压变送器(以下简称智能变送器)是一个系统复杂,安全性要求较高的带有嵌入式应用软件的仪器仪表。而软件测试是保证软件质量的重要手段之一,所以必须对智能变送器中的应用软件进行充分的、系统的测试。 本文主要研究运用对第二代HART协议智能电容式压力/差压LDRA Testbed/TBrun变送器之电子部件(以下简称第二代智能板)进行测试的技术。主要进行了基于LDRA的静态测试工作和基于Testbed的单元测试工作,把软件测试的各种思想、LDRA TBrun概念与测试工具相结合,最终达到较好的测试效果。LDRA Testbed/TBrun首先介绍了国内外研究现状和软件测试的发展趋势,然后介绍了软件测试的基本概 念和嵌入式软件单元测试的概念等,最后详细介绍了软件测试工具套件LDRA,重点介绍的基本功能。LDRA Testbed/TBrun其次研究了第二代智能板的工作原理。对第二代智能板软件进行了基本静态分析、 复杂度分析、静态数据流分析、交叉索引分析等静态测试技术方面的研究,并对静态测试的工作内容选择、测试结果分析、测试报告制定作了标准化规定。最后研究了运用 对第二代智能板软件进行单元测试工作。主要研究逻LDRA TBrun辑覆盖测试技术中的两项关键技术：测试需求分析和测试用例设计。在单元测试过程研究和单元测试用例设计方法的基础上,以第二代智能板软件中的关键模块为例,进行单元测试用例设计,对测试中出现的问题进行了解决,使它们最终都达到期望的覆盖率。

关键词： 嵌入式IO控制器软件   软件测试   静态分析   内存泄漏测试   覆盖率测试  

摘要： 随着嵌入式软件在航空、航天等诸多领域的广泛应用，嵌入式软件的质量越来越受到关注。软件一旦失败，就会直接或间接影响人类的生命财产和生态环境的安危，作为保障软件质量重要手段的软件测试技术逐渐被重视和应用。本文以我院研制的发控计算机IO控制器软件测试需求为背景，搭建一套独立有效的第三方测试平台，围绕发控计算机IO控制器软件测试平台研制及测试过程中存在的关键问题展开研究。本文的主要贡献有以下四点： 1、比较研究了目前存在的通用软件测试过程模型的优点和缺点，结合嵌入式发控系统IO控制器软件的特点，提出嵌入式IO控制器软件测试过程模型，在确保IO控制器软件质量的同时，提高了测试效率。 2、课题从型号实际需要出发，将静态测试技术应用到IO控制器软件测试工作中，研究了静态测试中的度量技术，同时考虑到圈复杂度、基本复杂度、扇入/扇出数对海军型号软件的影响，提出了降低部分软件静态度量指标的方法。 3、结合IO控制器软件的特点，详细地分析了海军装备软件内存缺陷测试存在的问题，对嵌入式软件内存使用缺陷测试进行关注点举例说明，通过实验比较分析了三种逻辑测试工具的代码膨胀率，阐述了几种开发环境的内存泄露测试的前提条件，为测试工具选择提供了依据，借助CodeTEST测试工具，找到了嵌入式IO控制器软件内存泄漏的出处并且分析了原因，提出了修改方法。 4、论文分析了发控系统嵌入式IO控制器软件覆盖率测试的需求和难点，配置Testbed/RTinsight和CodeTEST软件和硬件测试环境，尽可能不影响被测系统执行时间以及如何有效地获得覆盖率历史数据，实现嵌入式IO控制器软件覆盖率测试自动化。 本文针对嵌入式软件的测试需求提出了有效的解决方法，提高了发控系统嵌入式IO控制器软件测试的充分性、独立性和有效性，这一方法将对其他嵌入式软件测试同样适用。