教学课程资源库 更多>>

关键词： 软件   教材   测试   高等学校  

ISBN: (数字)9787115374653 ISBN: (纸本)9787115374653

摘要： 本书包括：软件测试概述、软件测试计划、软件测试基本技术、软件测试过程、测试用例设计、测试报告与测试评测、软件测试项目管理、面向对象软件测试、Web应用测试、软件测试自动化、测试实践—一个实际软件项目的测试案例。

关键词： 固定资产管理   统一建模语言   Broswer/Server架构   软件测试  

摘要： 海创集团业务逐渐增多,所需数据量逐渐增大,数据量种类逐渐增多,系统自动化管理的难度层层递升,资源管理、资源维护逐渐成为成长中企业公司发展遇到的问题,尤其对于一些比较重要的设备资源,更需要进行有效监督管理。在资源管理过程中,相对保守的方式是对每一样固定资产进行逐一记录,将这些固定资产的运营信息较为细致地一一记录下来,然而这种方式对于大量资产管理费时费力,同时还容易出现差错。本文详细论述了海创集团固定资产信息管理系统的需求分析、详细设计、具体实现、总体功能结构等。根据功能该系统可以划分为五大模块,主要包括资产处置、运营管理、基础信息设置、查询统计以及资产录入五个功能,每一个模块同时又可以细分为多个不同的子功能,子功能是对每一个功能模块中依据实际需求进行划分。在资产分配管理模块中,系统工作人员可以新建资产分配方案,固定资产的运营管理是一个较大规模的活动,该活动主要包括资产投入、转变以及输出三项子功能,通过对固定资产的运营管理,达到资产增值的目的。资产的各个功能与设计都使用统一建模语言UML进行分析设计。海创集团固定资产信息化管理系统以Broswer/Server模式为软件产品体系架构,使用SQL Server 2010为后台数据库管理系统,使用***作为系统网络的开发框架,使用C#作为编程语言。系统编程实现之后,对系统进行了较为全面的集中测试,从功能性需求、需求操作体验、系统性能方法进行的测试与改进。

关键词： 软件测试   高效率化   软件开发  

摘要： 随着电子计算机等电子设备的普及,软件系统的使用范围不断扩大,软件的功能也在不断的完善中,同时软件的复杂程度也不断的提升。所以,现在软件的测试也相比之前难了很多。为了保障软件的质量与安全,软件的测试技术与方法是非常重要的。本文针对软件测试技术理论与方法高效率进行了探究。

关键词： 软件测试   测试用例   MC/DC覆盖准则   遗传算法   模拟退火算法  

摘要： 在信息科技快速发展的时代,越来越多的软件产品开始进入到各行各业,如何保证软件的质量和可靠性成为了人们关注的一个焦点,软件测试是重要手段之一。软件测试是一个繁杂的过程,需要耗费大量的人力、物力和时间,它的成本大约占了整个软件开发成本的百分之四十到五十。因此,保证软件开发质量、降低软件开发成本的重要手段之一是提高软件测试的自动化程度,其中的关键问题是提高生成软件测试用例的自动化程度。论文选题来源于国防基础科研计划重点项目,研究综合模块化航电系统应用软件单元测试与集成测试的测试验证策略及规范,本文主要研究单元测试用例的自动生成方法。论文简要介绍了软件测试的研究意义和国内外研究现状,介绍了软件测试的基本理论、测试用例自动生成的常用技术、遗传算法和模拟退火算法的基本相关理论,并介绍了本文采用的与航空DO-178B标准一致的修改条件/判定覆盖准则(Modified Condition/Decision Coverage,MC/DC),分析了应用模拟退火遗传算法进行测试用例自动生成的可行性。在此基础上,本文详细介绍了一种基于模拟退火遗传算法的MC/DC测试用例自动生成方法的设计及其工具的实现。该方法通过对源代码进行静态分析,获得程序的流程图,并依此生成各个判定的MC/DC最小测试用例集,从中选取合适的判定分支点构成路径,以覆盖该条路径作为模拟退火遗传算法实际运行的搜索目标,从而自动生成实现符合MC/DC覆盖准则的测试用例。考虑到课题的涉密,选用与本课题无关的三角形类别判定程序验证本文设计的工具,确定输入数据类型和数量并生成判定分支点的MC/DC测试用例集,通过选择确定的MC/DC路径,生成满足该路径的测试用例。实验结果表明,该工具能够较快地生成满足覆盖标准的MC/DC测试用例,效果良好。

关键词： 软件测试   参数逻辑探测   聚类算法   决策树分类技术  

摘要： 信息技术高速发展，人们对于计算机的依赖日益增强。软件作为人们与计算机硬件的交互工具，也在呈现爆发式的增长。软件测试作为保证软件质量和可靠性的重要手段，受到了人们的广泛关注。　　从是否对程序源码进行分析的角度，软件测试技术可以分为黑盒测试和白盒测试两种。黑盒测试不需要对源码进行分析，而等价类划分技术作为一种有效减少测试用例个数的技术手段广泛应用于黑盒测试。等价类划分的目的在于把输入空间划分为多个不相交的子空间，子空间中的元素可以认为具有相同的程序逻辑。因此，只需要从各个子空间中选取代表性的元素就可以测试程序的总体逻辑，大幅减少了用例个数。然而，程序规模不断扩大导致输入参数个数也不断增加，加之程序的规格说明可能不够充分，都使得正确的等价类划分变得困难。　　参数屏蔽是指当一个（或多个）参数符合一定条件时，导致部分参数无效的情况。参数屏蔽存在时，可能导致一些测试技术生成的用例质量下降，达不到原先期望的测试标准。目前已有相关研究致力于在参数屏蔽的条件下进行测试生成，然而参数屏蔽的条件仍然是通过人工发现的方式。随着软件参数个数的增加，人工检测参数屏蔽的方式不仅费时费力而且存在检测不完全的问题。因此，如何自动化检测参数潜在的屏蔽关系具有重要意义。　　本文提出一种自动化探测参数的等价类以及参数屏蔽的方法，基于运行时数据进行特征提取，使用聚类与决策树分类技术进行探测。本文中的方法可以作为黑盒测试中测试数据生成的预处理步骤。方法中，首先生成一些输入数据，执行待测程序并收集一些可以反映程序运行时行为的信息。方法中使用程序动态分析工具来提取这些信息。利用聚类算法，使得具有相似程序行为的输入数据被归并到同一类簇中。利用决策树分类算法对聚类结果进行分析，得到类簇中参数满足的约束关系。最后，从分类决策树中找出参数的等价类以及屏蔽关系。本文设计了一套完整的流程用于以上的参数逻辑探测，并对一些广泛使用的程序进行实验，实验结果表明本文方法可以有效发现参数等价类以及参数间的屏蔽关系。

关键词： 软件质量   软件测试   质量度量   度量模型  

摘要： 随着计算机技术的高速发展,开发的软件产品规模越来越大、复杂程度越来越高,为了提高软件产品的质量,需要在软件的开发过程中进行有效的管理开发。软件产品需要进行大量的智力活动,与工业产品不一样,软件产品不能直观的进行质量检测。如今,我们只能简单地对软件产品进行测试,但仍难以保证软件产品的质量。怎样才能确保软件的质量一直是一个关键的问题困扰着软件生产。 本论文基于软件测试技术,针对软件质量度量问题,设计了软件质量度量框架,从而能够按时地开发出高质量的软件。主要的工作包括： (1)介绍了软件的质量的概念界定,以及质量的评价体系,再以软件质量度量为基础概念分析了度量过程和方法,同时简要介绍了测试用例设计方法。 (2)阐述基于软件测试的软件质量度量框架,分别从模型框架、定义度量、数据分析和控制过程等方面详细阐述了软件质量度量的思想。 (3)从实践的层面,提出了一种基于软件测试的软件质量度量的框架,详细给出了该方法的主要步骤,以用于软件质量评测和质量保证。 (4)根据提出的软件质量度量模型,按照项目背景分析一定义度量过程-实施度量-数据分析-项目度量总结的步骤,以“电子申报缴税系统”为例,进行了具体的度量应用研究,分别进行了测试用例设计和软件风险值度量,最后进行了小结。 本文阐述了对于软件项目质量管理的认识,并结合实际经历就项目质量度量和评估做了一些探讨。基于软件测试过程和质量度量理论,建立一套有效、规范的质量评价体系,并应用于软件测评机构的日常工作,推动软件生产和管理质量的发展,达到了预期研究应用目标。通过电子申报缴税系统项目软件开发实践的分析,进行软件度量的积极应用,更好地加快了理论到实践的转化。

关键词： 软件测试   静态分析   空指针引用   函数摘要  

摘要： 空指针引用故障导致的软件安全问题不断出现,给各个方面带来了极大困扰和损失。本文研究利用静态测试的方法对一类空指针引用故障‘进行静态检测分析。 本文提出一种利用判断逻辑信息进行空指针引用检测的方法。首先给出与基于判断逻辑的空指针引用故障相关的一些定义和故障分类。接着,提出使用函数摘要技术提取间接判空点和间接解引用点,定义该函数摘要为函数特征信息和后置约束信息的集合,研究了判断逻辑函数摘要生成和传递的方法。最后,利用有限状态机建立基于判断逻辑的空指针引用故障模型,给出故障模型描述,并利用状态机状态转换和函数摘要完成对这类空指针引用故障的检测。 本文共分五个部分。第一部分对本论文研究背景和基于判断逻辑的空指针引用故障进行了概述，第二部分介绍了运用函数摘要技术解决过程间判空点和解引用点提取问题,包括判断逻辑函数摘要模型、摘要生成和摘要传递算法,第三部分进行缺陷模式描述和运用上述摘要实现缺陷检测,第四部分是实验结果及问题分析,第五部分对本文研究总结及下一步研究工作的展望。

关键词： 机房管理   巡检任务管理系统   程序设计   软件测试  

摘要： 随着计算机科学和信息技术的不断发展，电子化的概念逐步应用于社会生活中的各个方面，并极大的方便了人们的日常生活和企业管理。机房巡检是机房管理的一个重要组成部分。机房设备种类的多样化，设备密度的不断提高等因素对机房巡检提出了越来越高的要求，将电子化应用于机房巡检中，设计一个电子化的机房巡检系统将满足当前机房环境下的各种新需求，给机房巡检和机房管理带来便利。　　本文分析了当前机房巡检的业务现状以及发展趋势，介绍了SpringMVC框架、B/S架构、Freemarker模板技术等本系统应用的主要技术，然后按照软件工程的思想，对机房巡检系统的相关需求进行了深入的探讨与分析。在此基础上，本文进行了电子化机房巡检系统的概要设计，在经过技术和经济可行性分析后，结合系统业务需求，本系统采用B/S架构，使用SpringMVC框架在Myeclipse开发平台进行软件的设计。本文按照巡检任务流程，将巡检任务管理系统分成了多个功能模块并根据所划分的模块做了相应的功能设计，数据库设计和界面设计。根据系统设计，本文实现了系统的所有功能。最后，本文介绍了开发过程中对系统进行的一系列的功能测试，并得出了相应的结论。　　本文完成了电子化机房巡检任务管理系统的设计与实现，系统简化了巡检流程中的相关操作，可以帮助巡检人员便捷高效的完成巡检任务，很好适应了当前机房管理对机房巡检各个层面的要求，具有较广泛的应用前景。

关键词： 系统级芯片   可信硬件平台   软件测试   身份认证   全员生产维护  

摘要： TPM(Trusted Platform Module) SoC(System on Chip)是可信计算平台最底层的核心硬件。作为一种芯片级的数据安全防护手段，TPM SoC芯片设计及其关键技术的研究对提高系统安全可信性具有十分重要的意义。　　本文首先介绍TPM可信的原理以及SoC设计的整体流程，然后对TPM SoC的可信安全硬件设计展开介绍，分别包括安全算法的实现、安全存储设计和安全在线下载设计。接着介绍了基于扫描方法的TPM SoC可测性设计实现，针对扫描测试规则对RTL(Register Transfer Level)中一些不可控的电路进行了优化，并介绍了安全的扫描测试机制，避免扫描设计带来的安全隐患。再来，对TPM SoC的全局架构进行了介绍，包括芯片中的关键功能外设，着重介绍了芯片低功耗方案的设计，并对休眠下的低功耗效果进行了分析，得到了极其可观的电流功耗成果。最后介绍了基于TPM SoC的身份认证应用方案流程，并介绍了其验证硬件平台及软件程序的设计，给出了验证过程中的数据结果。　　论文工作成果主要体现在:　　(1)安全硬件设计采用椭圆曲线密码算法和哈希算法进行数据加解密和数字签名、验签等操作，并且对芯片中的存储器设计了安全的存储映射、读写控制、芯片自毁机制以及安全的ISP下载;(2)可测性扫描设计采用基于扫描规则的RTL设计对测试模式下不可控的电路进行优化，获得96.13％的测试覆盖率，并设计了安全的测试模式启动机制，在进入测试模式前电路进行复位以清除残存的敏感数据;(3)芯片整体架构采用各种IP集成方法以及低功耗设计方案，采用专门设计的低功耗实时时钟外设，并对芯片模块进行规划，对芯片中的功能外设进行时钟管理和电源控制，获得休眠下电流功耗最低可达0.34uA的低功耗效果。　　此外，本文基于所设计的TPM SoC还开发了一套身份认证应用方案，并进行了硬件平台搭建与软件测试程序设计，验证了身份认证流程的正确性。

关键词： 模型检测   软件测试   TTCN-3测试套   μ演算  

摘要： 随着计算机技术的不断发展,应用领域的不断扩大,软件的规模和复杂性也在不断地增加。为了保证软件质量,软件测试技术成为主要的技术手段。但众所周知的是,程序测试依据的测试原则可以发现一些错误,但其不能保证可以达到百分之百地排除所有的错误,所以不得不承认使用传统的方法来排除软件系统中的错误已经越来越难以满足实际需求。 近年来,模型检测以其自动化程度高的特点在软件测试领域得到了广泛关注。它的基本思想是采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个模态／时序逻辑公式所表示的特定性质。而软件测试作为保证软件产品正确性和可靠性的传统手段,其与模型检测存在一些本质的不同。传统测试是以选定的测试用例作为系统输入,然后对结果和预期进行比较。由于测试例选取的范围的有限,因此传统测试具有不完备性。与测试不同的模型检测,不是对既定的输入来验证逻辑,而是针对系统某类属性进行规约之后再进行对比式的检测。但模型检测亦有其瓶颈之处,即值域太泛而导致的状态空间爆炸。模型检测是采用的全空间遍历的方法来进行的,所以在大多数情况下,需要应用抽象与归纳原则与自动化模型检测相结合才能验证系统所需。 针对模型检测的空间爆炸问题以及软件测试的不完备性,提出在测试过程中将模型检测前置于传统测试,将模型检测与测试相结合。通过分析模型检测中的形式化规约明确测试目的,并转换成TTCN-3(Testing and Test Control Notation)抽象测试套。进一步利用规约中本身存在的正例路径(μ演算),即可生成抽象测试套的逻辑执行,并与数据类型描述文件相关联,从而生成测试用例。分析TTCN-3开发模式,基于标签转换系统与TTCN-3行为树的等价性,提出模型检测引导的抽象测试套生成算法,并实现TTCN-3抽象测试套的自动生成。